putchar           415 src/prt2pdf/prt2pdf.c   (void)putchar ('(');
putchar           426 src/prt2pdf/prt2pdf.c           (void)putchar ('\\');
putchar           429 src/prt2pdf/prt2pdf.c       (void)putchar (c + GLOBAL_ADD);
putchar           432 src/prt2pdf/prt2pdf.c   (void)putchar (')');