read_u32_be      1581 src/prt2pdf/prt2pdf.c       (void)read_u32_be (fp); /* checksum, ignored */
read_u32_be      1582 src/prt2pdf/prt2pdf.c       uint32_t offset = read_u32_be (fp);
read_u32_be      1583 src/prt2pdf/prt2pdf.c       uint32_t length = read_u32_be (fp);
read_u32_be      1959 src/prt2pdf/prt2pdf.c       (void)read_u32_be (font_fp); /* checksum */
read_u32_be      1960 src/prt2pdf/prt2pdf.c       uint32_t offset = read_u32_be (font_fp);
read_u32_be      1961 src/prt2pdf/prt2pdf.c       (void)read_u32_be (font_fp); /* length */