5 void output_file_append(char *where, long length, char *filename);
6 void output_file_close(char *filename);
7 void output_file_create(char *name);
11 void output_file_append();
12 void output_file_close();
13 void output_file_create();
18 /* end of output-file.h */