int n_footnotes = get_u32();
if (n_footnotes >= 20)
- fprintf(stderr, "%d footnotes\n", n_footnotes);
+ {
+ fprintf(stderr, "%08x: %d footnotes\n", pos - 4, n_footnotes);
+ exit(1);
+ }
+
printf("------\n%d footnotes\n", n_footnotes);
if (n_footnotes < 20)
{