xvalue            448 src/prt2pdf/prt2pdf.c       float xvalue;
xvalue            454 src/prt2pdf/prt2pdf.c       xvalue = GLOBAL_PAGE_MARGIN_LEFT + ((GLOBAL_PAGE_WIDTH - GLOBAL_PAGE_MARGIN_LEFT - GLOBAL_PAGE_MARGIN_RIGHT) / 2.0)
xvalue            457 src/prt2pdf/prt2pdf.c       (void)fprintf (stdout, "BT /F1 %f Tf %f %f Td", text_size, xvalue, yvalue);