score_name_record 1692 src/prt2pdf/prt2pdf.c               int score = score_name_record (nameID, platformID, encodingID, languageID, win_ok);
score_name_record 1843 src/prt2pdf/prt2pdf.c               int score = score_name_record (nameID, platformID, encodingID, languageID, win_ok);