for (int i = 0; i <= level; i++)
printf (" ");
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
if (match_byte (3))
{
get_string();
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
+ else if (match_u32 (2))
{
- 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_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;
}
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
}
else
match_byte_assert (0x58);
match_byte (0);
match_byte (0);
match_byte (1);
+ match_byte (1);
match_byte (0);
match_byte (0);
match_byte (0);
match_byte_assert (0x58);
printf ("variable \"%s\"", get_string());
get_string();
- if (!match_byte (3))
- match_byte_assert (2);
+ if (!match_byte(1) && !match_byte(2))
+ match_byte_assert(3);
match_byte (0);
match_byte (0);
match_byte (0);
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_u32 (3))
- match_u32_assert (2);
+ if (!match_byte (1) && !match_byte(2))
+ match_byte_assert (3);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
match_byte (0);
match_byte (0);
match_byte (0);
format = get_u32 ();
vallab = get_string ();
var = get_string ();
- match_byte_assert (2);
+ 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);
match_byte (0);
match_byte (1);
}
- else
+ else if (match_byte (0x31))
{
int subn;
- int total_subs = 1;
- match_byte (0);
- match_byte_assert (0x31);
- match_u32_assert (0);
- match_u32_assert (0);
- subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
- printf ("; \"%s\", substitutions:", get_string());
- for (;;)
+ if (match_u32 (1))
{
- int n_subst = get_u32();
- if (!n_subst)
- break;
- printf (" %d", n_subst);
- total_subs *= n_subst;
+ 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 (0);
+ match_u32_assert (0);
+ subn = get_u32 ();
+ printf ("nested %d bytes", subn);
+ pos += subn;
}
+ char *base = get_string();
+ int x = get_u32();
+ printf ("\"%s\"; %d variables:\n", base, x);
+ if (match_u32(0))
+ {
+ for (int i = 0; i < x; i++)
+ {
+ dump_value (level+1);
+ putchar('\n');
+ }
+ }
+ else
+ {
+ for (int i = 0; i < x; i++)
+ {
+ int y = get_u32();
+ match_u32_assert(0);
+ for (int j = 0; j <= level; j++)
+ printf (" ");
+ printf("variable %d has %d values:\n", i, y);
+ for (int j = 0; j < y; j++)
+ {
+ if (match_byte(3))
+ {
+ char *a = get_string();
+ match_byte_assert(0x58);
+ char *b = get_string();
+ char *c = get_string();
+ for (int k = 0; k <= level + 1; k++)
+ 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_value (level+1);
+ putchar('\n');
+ }
+ }
+ }
+ }
+ else
+ {
- for (int i = 0; i < total_subs; i++)
+ match_byte_assert (0x58);
+ char *base = get_string();
+ int x = get_u32();
+ printf ("\"%s\" with %d variables:\n", base, x);
+ if (match_u32(0))
{
- putc ('\n', stdout);
- dump_value (level + 1);
+ for (int i = 0; i < x; i++)
+ {
+ dump_value (level+1);
+ putchar('\n');
+ }
+ }
+ else
+ {
+ for (int i = 0; i < x; i++)
+ {
+ int y = get_u32();
+ match_u32_assert(0);
+ for (int j = 0; j <= level; j++)
+ printf (" ");
+ printf("variable %d has %d values:\n", i, y);
+ for (int j = 0; j < y; j++)
+ {
+ if (match_byte(3))
+ {
+ char *a = get_string();
+ match_byte_assert(0x58);
+ char *b = get_string();
+ char *c = get_string();
+ for (int k = 0; k <= level + 1; k++)
+ 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_value (level+1);
+ putchar('\n');
+ }
+ }
}
}
}
else
{
int subn;
- int total_subs = 1;
match_byte (0);
match_byte_assert (0x31);
printf ("nested %d bytes", subn);
pos += subn;
printf ("; \"%s\", substitutions:", get_string());
- for (;;)
+ int total_subs = get_u32();
+ int x = get_u32();
+ if (x)
{
- int n_subst = get_u32();
- if (!n_subst)
- break;
- printf (" %d", n_subst);
- total_subs *= n_subst;
+ total_subs = (total_subs - 1) + x;
+ match_u32_assert (0);
}
+ printf (" (total %d)", total_subs);
for (int i = 0; i < total_subs; i++)
{
else if (match_byte (1))
{
match_byte (0);
- match_u32_assert (1);
+ if (!match_u32 (2))
+ match_u32_assert (1);
match_byte (0);
get_u32();
}
match_byte_assert(0x58);
get_string();
printf("string \"%s\": ", get_string());
- match_byte_assert(1);
+ match_byte(1) || match_byte(0);
}
else if (match_byte(5))
{
if (!match_byte(2))
match_byte_assert(3);
}
- else
+ else if (match_byte(0x31))
{
int subn;
int total_subs = 1;
- match_byte_assert(0x31);
match_u32_assert (0);
match_u32_assert (0);
subn = get_u32 ();
dump_dim_value (0);
}
}
+ else
+ {
+ int total_subs = 1;
+
+ match_byte_assert (0x58);
+ printf ("\"%s\" with substitutions:", get_string());
+ for (;;)
+ {
+ int n_subst = get_u32();
+ if (!n_subst)
+ break;
+ printf (" %d", n_subst);
+ total_subs *= n_subst;
+ }
+
+ for (int i = 0; i < total_subs; i++)
+ {
+ putc ('\n', stdout);
+ dump_dim_value (0);
+ }
+ }
+
+ /* This byte is usually 0x02 but 0x00 and 0x75 (!) have also been spotted. */
+ pos++;
- match_byte_assert(0);
if (!match_byte(0) && !match_byte(1))
match_byte_assert(2);
- match_u32_assert(2);
+ if (!match_u32(0))
+ match_u32_assert(2);
if (!match_byte(0))
match_byte_assert(1);
match_byte(0);