program_name     2318 src/prt2pdf/prt2pdf.c   const char * program_name = (program && * program) ? program : "prt2pdf";
program_name     2327 src/prt2pdf/prt2pdf.c       (void)fprintf (stderr, "  %s [ options ] <infile.prt >outfile.pdf\n", program_name);