473         FILE *headerfile = fopen(hxx_file_name,"w");  in main()  local
481             fprintf(headerfile,"%s\n",the_string);  in main()
484 …fprintf(headerfile," *  the date of last change to sRGB ICC profile data is:\n *  %4d/%02d/%02d - …  in main()
491             fprintf(headerfile,"%s\n",the_string);  in main()
505             fprintf(headerfile,"\nsal_uInt8 nsRGB_ICC_profile[%d]=\n{\n    ",thesize);  in main()
512                 fprintf(headerfile,"0x%02x",achar);  in main()
514                     fprintf(headerfile,",\n    ");  in main()
516                     fprintf(headerfile,", ");  in main()
519             fprintf(headerfile,"\n};\n\n");  in main()
526         fprintf(headerfile,"/*****************\n\n");  in main()
528         fprintf(headerfile,"This ICC profile contains the following data:\n\n");  in main()
530         dumpProfile(headerfile, out_file_pathname );  in main()
532         fprintf(headerfile,"\n*****************/\n");  in main()
536             fprintf(headerfile,"%s\n",the_string);  in main()
538         fclose(headerfile);  in main()