is_bold           837 src/prt2pdf/prt2pdf.c                       int is_bold = (freq [(int)current_char] > 1); //-V602
is_bold           842 src/prt2pdf/prt2pdf.c                           float line_width = is_bold ? 1.5 : 0.5;
is_bold           851 src/prt2pdf/prt2pdf.c                           (void)printf ("/F%d %g Tf\n", is_bold ? 1 : 0, GLOBAL_FONT_SIZE);