GLOBAL_NUM_PAGES  139 src/prt2pdf/prt2pdf.c static int    GLOBAL_NUM_PAGES = 0;
GLOBAL_NUM_PAGES  289 src/prt2pdf/prt2pdf.c       (void)fprintf (stderr, "ERROR: Unable to allocate array for page %d\n", GLOBAL_NUM_PAGES + 1);
GLOBAL_NUM_PAGES  300 src/prt2pdf/prt2pdf.c   GLOBAL_NUM_PAGES++;
GLOBAL_NUM_PAGES 2244 src/prt2pdf/prt2pdf.c   (void)printf ("<</Type /Pages /Count %d\n", GLOBAL_NUM_PAGES);