4 void print_the_buffer();
6 void log_file(const char *s);
9 char print_buffer[80 + 2 + 1];
10 unsigned char log_num = 0;
11 int log_lines_written = 0;
13 extern char print_buffer[80 + 2 + 1];
14 extern unsigned char log_num;
15 extern int log_lines_written;