+void compute_output_file_names PARAMS((void));
+void output_files PARAMS((void));
+
+FILE *xfopen PARAMS ((const char *name, const char *mode));
+int xfclose PARAMS ((FILE *ptr));
+
+/* Compute the double inclusion guard's name. */
+char * compute_header_macro PARAMS ((void));