}
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