42     FILE*    outfile;  in main()  local
97 	outfile = fopen(outfname, "w");  in main()
98 	if (outfile == NULL) {  in main()
105 	outfile = stdout;  in main()
119     fprintf(outfile, "/*\n  generated by %s from %s on %s"  in main()
124 	fprintf(outfile, "#include <linux/init.h>\n\n" );  in main()
127     fprintf(outfile, "const unsigned char%s %s_data[] = {\n",   in main()
131     fprintf(outfile,"\t0x%02x", c);  in main()
137 	    fprintf(outfile,", 0x%02x", c);  in main()
139 	    fprintf(outfile,",\n\t0x%02x", c);  in main()
142     fprintf(outfile, "\n};\n\n");  in main()
144     fprintf(outfile, "const unsigned int%s %s_size = %u;\n",  in main()
149     if (outfile != stdout)  in main()
150 	fclose(outfile);  in main()