prindex          2536 src/prt2pdf/prt2pdf.c   int prindex;
prindex          2805 src/prt2pdf/prt2pdf.c   for (prindex = optind; prindex < argc; prindex++)
prindex          2806 src/prt2pdf/prt2pdf.c     (void)fprintf (stderr, "WARNING: Non-option argument %s\n", argv [prindex]);