760 	FILE *dumpfile = NULL, *ref_file = NULL;  in main()  local
812 			dumpfile = fopen(optarg, "w");  in main()
813 			if (!dumpfile) {  in main()
853 				fputs("override ", dumpfile);  in main()
855 				putc(symbol_types[sym->type].n, dumpfile);  in main()
856 				putc('#', dumpfile);  in main()
858 			fputs(sym->name, dumpfile);  in main()
859 			putc(' ', dumpfile);  in main()
861 				fputs("extern ", dumpfile);  in main()
862 			print_list(dumpfile, sym->defn);  in main()
863 			putc('\n', dumpfile);  in main()