match_byte (0);
match_byte (0);
match_byte (0);
+ match_byte (0);
if (match_byte (3))
{
get_string();
printf("(special 2)");
match_byte_assert(0);
match_byte_assert(0);
- match_u32_assert(1);
+ if (!match_u32(2))
+ match_u32_assert(1);
match_byte_assert(0);
match_byte_assert(0);
int subn = get_u32 ();
printf (" ");
printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
}
else
dump_title_value (level+1);
}
else
match_byte_assert(0x58);
+
+
+ int n_footnotes = get_u32();
+ fprintf(stderr, "%d footnotes\n", n_footnotes);
+ printf("------\n%d footnotes\n", n_footnotes);
+ if (n_footnotes < 10)
+ {
+ for (int i = 0; i < n_footnotes; i++)
+ {
+ printf("footnote %d:\n", i);
+ dump_value(0);
+ match_byte_assert(0x58);
+ printf("(%d)\n", get_u32());
+ }
+ }
}
int