5 void print_the_buffer(void);
6 void print_header(void);
7 void log_file(const char *s);
11 char print_buffer[80 + 2 + 1];
12 unsigned char log_num = 0;
14 extern char print_buffer[80 + 2 + 1];
15 extern unsigned char log_num;
16 extern char *log_heap_buf;
17 extern int log_heap_offset;
18 extern int log_heap_flushed;
19 extern const int LOG_SIZE;