- if (match_byte (0x31))
- {
- if (match_u32 (0))
- {
- if (match_u32 (1))
- get_string();
- else
- match_u32_assert (0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- }
- else if (match_u32 (1))
- {
- printf("(footnote %d) ", get_u32());
- match_byte_assert (0);
- match_byte_assert (0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- }
- else
- {
- match_u32_assert(2);
- printf("(special 2)");
- match_byte_assert(0);
- match_byte_assert(0);
- match_u32_assert(1);
- match_byte_assert(0);
- match_byte_assert(0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- }
- }
- else
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- printf (" value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- }
- else if (match_byte (3))
- {
- get_string();
- if (match_byte (0x31))
- {
- if (match_u32 (0))
- {
- match_u32_assert (1);
- get_string ();
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- }
- else if (match_u32 (1))
- {
- printf("(footnote %d) ", get_u32());
- match_byte_assert (0);
- match_byte_assert (0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- }
- else if (match_u32 (2))
- {
- printf("(special 2)");
- match_byte_assert(0);
- match_byte_assert(0);
- match_u32_assert(1);
- match_byte_assert(0);
- match_byte_assert(0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- }
- else
- {
- match_u32_assert(3);
- printf("(special 3)");
- match_byte_assert(0);
- match_byte_assert(0);
- match_byte_assert(1);
- match_byte_assert(0);
- int subn = get_u32 ();
- printf ("nested %d bytes, ", subn);
- pos += subn;
- subn = get_u32 ();
- printf ("nested %d bytes, ", subn);
- pos += subn;
- }
- }
- else
- match_byte_assert (0x58);
- get_string();
- printf("string \"%s\"", get_string());
- match_byte (0);
- }
- else if (match_byte (2))
- {
- unsigned int format;
- char *var, *vallab;
- double value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- var = get_string ();
- vallab = get_string ();
- printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- if (!match_byte (1) && !match_byte(2))
- match_byte_assert (3);
- }
- else if (match_byte (4))
- {
- unsigned int format;
- char *var, *vallab, *value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- vallab = get_string ();
- var = get_string ();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert (3);
- value = get_string ();
- printf ("value \"%s\" format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- }
- else if (match_byte (5))
- {
- match_byte_assert (0x58);
- printf ("variable \"%s\"", get_string());
- get_string();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert(3);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else if (match_byte(0x31))
+static void
+dump_title(void)
+{
+ printf ("<title-local>\n");
+ dump_value(stdout, 0);
+ match_byte(1);
+ printf ("</title-local>\n");
+
+ printf ("<subtype>\n");
+ dump_value(stdout, 0);
+ match_byte(1);
+ printf ("</subtype>\n");
+
+ match_byte_assert(0x31);
+
+ printf ("<title-c>\n");
+ dump_value(stdout, 0);
+ match_byte(1);
+ printf ("</title-c>\n");
+
+ match_byte(0);
+ match_byte_assert(0x58);
+ if (match_byte(0x31))
+ {
+ printf ("<caption>\n");
+ dump_value(stdout, 0);
+ printf ("</caption>\n");
+ }
+ else
+ match_byte_assert(0x58);
+
+ int n_footnotes = get_u32();
+ for (int i = 0; i < n_footnotes; i++)
+ {
+ printf ("<footnote index=\"%d\">\n", i);
+ dump_value(stdout, 0);
+ /* Custom footnote marker string. */
+ if (match_byte (0x31))
+ dump_value(stdout, 0);
+ else
+ match_byte_assert (0x58);
+ get_u32 ();
+ printf ("</footnote>\n");
+ }
+}
+
+static void
+dump_fonts(void)
+{
+ match_byte(0);
+ for (int i = 1; i <= 8; i++)
+ {
+ printf ("<style index=\"%d\"", i);
+ match_byte_assert(i);
+ match_byte_assert(0x31);
+ printf(" font=\"%s\"", get_string());
+ match_byte_assert(0);
+ match_byte_assert(0);
+ if (!match_byte(0x40) && !match_byte(0x20) && !match_byte(0x80) && !match_byte(0x10) && !match_byte(0x70))
+ match_byte_assert(0x50);
+ match_byte_assert(0x41);
+ if (!match_u32(0) && !match_u32(1))
+ match_u32_assert(2);
+ match_byte_assert(0);
+
+ /* OK, this seems really unlikely to be totally correct, but it matches my corpus... */
+ if (!match_u32(0) && !match_u32(2))