/* File name pfx specified with -b, or 0 if no -b. */
extern char *spec_file_prefix;
+/* --verbose. */
+extern char *spec_verbose_file;
+
/* File name specified for the output VCG graph. */
extern char *spec_graph_file;
-
+
/* File name specified with --defines. */
extern char *spec_defines_file;
/* The verbose output. */
extern struct obstack output_obstack;
-/* The VCG graph output. */
-extern struct obstack graph_obstack;
-
extern char *infile;
extern char *attrsfile;
void open_files PARAMS((void));
+void close_files PARAMS((void));
+void compute_output_file_names PARAMS((void));
void output_files PARAMS((void));
FILE *xfopen PARAMS ((const char *name, const char *mode));