x_start           845 src/prt2pdf/prt2pdf.c                           float x_start = GLOBAL_PAGE_MARGIN_LEFT + (j * char_width);
x_start           846 src/prt2pdf/prt2pdf.c                           (void)printf ("%f %f m %f %f l S\n", x_start, y_underline, x_start + char_width, y_underline);
x_start           865 src/prt2pdf/prt2pdf.c                       float x_start = GLOBAL_PAGE_MARGIN_LEFT + (j * char_width);
x_start           866 src/prt2pdf/prt2pdf.c                       (void)printf ("%f %f m %f %f l S\n", x_start, y_underline, x_start + char_width, y_underline);