70 static FILE *c_def;  variable
81 	  if ((c_def = fopen (fname, "w")) == NULL)  in try_open_output_files()
104 	  fprintf (c_def, "#\n");  in code_file_headers()
105 	  fprintf (c_def, "#  File: %s.def\n", basename);  in code_file_headers()
106 	  fprintf (c_def, "#  Generated on %s", atime);  in code_file_headers()
107 	  fprintf (c_def, "#\n");  in code_file_headers()
108 	  fprintf (c_def, "#ifndef IncDef%c%s\n", toupper (basename[0]), basename + 1);  in code_file_headers()
109 	  fprintf (c_def, "#define IncDef%c%s\n\n", toupper (basename[0]), basename + 1);  in code_file_headers()
249 	  fprintf (c_def, "> %s;\n", lhs);  in code_enumeration_type()
384 	  fprintf (c_def, "> %s;\n", lhs);  in code_rhs_record()
430 	  fprintf (c_def, "> [%s];\n", elt_def);  in code_rhs_list_definition()
1833 	  fprintf (c_def, "#endif\n");  in code_header_trailer()
1842 	  fclose (c_def);  in close_output_files()