6 extern long file_page_number
;
7 extern long page_number
;
9 extern void setup_output(void);
10 extern void init_output(void);
11 extern void print_file(void);
12 extern boolean
print_page(void);
13 extern stream_status
getnextline(stream_status (*get_input_char
)(char *,char_status
*), boolean
*, char input_line
[], char_status input_status
[]);
14 extern void fill_sheet_with_blank_pages(void);