yvalue            449 src/prt2pdf/prt2pdf.c       float yvalue;
yvalue            453 src/prt2pdf/prt2pdf.c       yvalue = GLOBAL_PAGE_DEPTH - text_size;
yvalue            457 src/prt2pdf/prt2pdf.c       (void)fprintf (stdout, "BT /F1 %f Tf %f %f Td", text_size, xvalue, yvalue);