}
else if (match_byte (5))
{
- match_byte_assert (0x58);
+ if (match_byte (0x31))
+ {
+ 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_byte_assert (0x58);
printf ("variable \"%s\"", get_string());
get_string();
if (!match_byte(1) && !match_byte(2))