is_win1252_compatible_utf8 1691 src/prt2pdf/prt2pdf.c               int win_ok = is_win1252_compatible_utf8 (utf8);
is_win1252_compatible_utf8 1842 src/prt2pdf/prt2pdf.c               int win_ok = is_win1252_compatible_utf8 (utf8);