std_warned        482 src/prt2pdf/prt2pdf.c   static int std_warned = 0;
std_warned        509 src/prt2pdf/prt2pdf.c   if (! std_warned)
std_warned        512 src/prt2pdf/prt2pdf.c       std_warned = 1;