num_tables       1936 src/prt2pdf/prt2pdf.c   uint16_t num_tables = read_u16_be (font_fp);
num_tables       1937 src/prt2pdf/prt2pdf.c   if (num_tables > 256)
num_tables       1939 src/prt2pdf/prt2pdf.c       (void)fprintf (stderr, "ERROR: Font has too many tables (%u > 256)\n", num_tables);
num_tables       1946 src/prt2pdf/prt2pdf.c   for (int i = 0; i < num_tables; i++)
num_tables       2068 src/prt2pdf/prt2pdf.c   uint16_t num_tables = read_u16_be_from_mem (& p, end);
num_tables       2069 src/prt2pdf/prt2pdf.c   if (num_tables > 256)
num_tables       2071 src/prt2pdf/prt2pdf.c       (void)fprintf (stderr, "ERROR: Font has too many tables (%u > 256)\n", num_tables);
num_tables       2077 src/prt2pdf/prt2pdf.c   for (int i = 0; i < num_tables; i++)