+static void
+dump_data(void)
+{
+#if 1
+ int a[16];
+ for (int i = 0; i < 3 + n_dims; i++)
+ a[i] = get_u32();
+ printf ("data intro:");
+ for (int i = 0; i < 3 + n_dims; i++)
+ printf(" %d", a[i]);
+ printf("\n");
+#else
+ fprintf (stderr,"data intro (%d dims):", n_dims);
+ for (int i = 0; i < 3+n_dims; i++)
+ fprintf (stderr," %d", get_u32());
+ fprintf(stderr,"\n");
+#endif
+ int x = get_u32();
+ printf ("%d data values, starting at %08x\n", x, pos);
+ for (int i = 0; i < x; i++)
+ {
+ printf("%08x, index %d:\n", pos, get_u32());
+ match_u32_assert(0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ if (match_byte (1))
+ {
+ unsigned int format;
+ double value;
+
+ if (match_byte (0x31))
+ {
+ if (match_u32 (0))
+ {
+ if (match_u32 (1))
+ get_string();
+ else
+ match_u32_assert (0);
+ int subn = get_u32 ();
+ printf ("nested %d bytes", subn);
+ pos += subn;
+ }
+ else 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_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_byte_assert (0x58);
+ format = get_u32 ();
+ value = get_double ();
+ printf (" value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
+ }
+ else if (match_byte (3))
+ {
+ get_string();
+ if (match_byte (0x31))
+ {
+ if (match_u32 (0))
+ {
+ match_u32_assert (1);
+ get_string ();
+ int subn = get_u32 ();
+ printf ("nested %d bytes", subn);
+ pos += subn;
+ }
+ else 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 if (match_u32 (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;
+ }
+ }
+ else
+ match_byte_assert (0x58);
+ get_string();
+ printf("string \"%s\"", get_string());
+ match_byte (0);
+ }
+ else if (match_byte (2))
+ {
+ unsigned int format;
+ char *var, *vallab;
+ double value;
+
+ match_byte_assert (0x58);
+ format = get_u32 ();
+ value = get_double ();
+ var = get_string ();
+ 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_byte (1) && !match_byte(2))
+ match_byte_assert (3);
+ }
+ else if (match_byte (4))
+ {
+ unsigned int format;
+ char *var, *vallab, *value;
+
+ match_byte_assert (0x58);
+ format = get_u32 ();
+ vallab = get_string ();
+ var = get_string ();
+ 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);
+ }
+ else if (match_byte (5))
+ {
+ match_byte_assert (0x58);
+ printf ("variable \"%s\"", get_string());
+ get_string();
+ if (!match_byte(1) && !match_byte(2))
+ match_byte_assert(3);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ }
+ else 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_u32_assert (0);
+ match_u32_assert (0);
+ int 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);
+ for (int i = 0; i < x; i++)
+ {
+ int y = get_u32();
+ if (!y)
+ y = 1;
+ else
+ match_u32_assert(0);
+ for (int j = 0; j <= 0; j++)
+ printf (" ");
+ printf("variable %d has %d values:\n", i, y);
+ for (int j = 0; j < y; j++)
+ {
+ if (match_byte (1))
+ {
+ unsigned int format;
+ double value;
+
+ if (match_byte (0x31))
+ {
+ if (match_u32 (0))
+ {
+ if (match_u32 (1))
+ get_string();
+ else
+ match_u32_assert (0);
+ int subn = get_u32 ();
+ printf ("nested %d bytes", subn);
+ pos += subn;
+ }
+ else 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_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_byte_assert (0x58);
+ format = get_u32 ();
+ value = get_double ();
+ printf (" value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
+ }
+ else 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 <= 1; k++)
+ printf (" ");
+ printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ }
+ else if (match_byte(5))
+ {
+ match_byte_assert (0x58);
+ printf ("variable \"%s\"", get_string());
+ get_string();
+ if (!match_byte(1) && !match_byte(2))
+ match_byte_assert(3);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ }
+ else
+ dump_value (0);
+ putchar('\n');
+ }
+ }
+ }
+ else
+ {
+ match_byte_assert (0x58);
+ char *base = get_string();
+ int x = get_u32();
+ printf ("\"%s\" with %d variables:\n", base, x);
+ for (int i = 0; i < x; i++)
+ {
+ int y = get_u32();
+ if (!y)
+ y = 1;
+ else
+ match_u32_assert(0);
+ for (int j = 0; j <= 0; 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 <= 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 if (match_byte (1))
+ {
+ unsigned int format;
+ double value;
+
+ 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);
+ format = get_u32 ();
+ value = get_double ();
+ printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
+ }
+ else
+ dump_value (1);
+ putchar('\n');
+ }
+ }
+ }
+ putchar('\n');
+ }
+}
+
+static void
+dump_title_value(int level)
+{
+ for (int i = 0; i <= level; i++)
+ printf (" ");
+
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ if (match_byte (3))
+ {
+ get_string();
+ 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 if (match_u32 (2))
+ {
+ printf("(special 2)");
+ match_byte_assert(0);
+ match_byte_assert(0);
+ if (!match_u32(2))
+ 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;
+ }
+ }
+ else
+ match_byte_assert (0x58);
+ get_string();
+ printf("string \"%s\"", get_string());
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (1);
+ match_byte (1);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (1);
+ }
+ else if (match_byte (5))
+ {
+ 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))
+ match_byte_assert(3);
+ }
+ else if (match_byte (2))
+ {
+ unsigned int format;
+ char *var, *vallab;
+ double value;
+
+ match_byte_assert (0x58);
+ format = get_u32 ();
+ value = get_double ();
+ var = get_string ();
+ 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_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);
+ match_byte (0);
+ }
+ else if (match_byte (4))
+ {
+ unsigned int format;
+ char *var, *vallab, *value;
+
+ match_byte_assert (0x58);
+ format = get_u32 ();
+ vallab = get_string ();
+ var = get_string ();
+ 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 (0);
+ match_byte (0);
+ match_byte (0);
+ }
+ else if (match_byte (1))
+ {
+ unsigned int format;
+ double value;
+
+ 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);
+ format = get_u32 ();
+ value = get_double ();
+ printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
+ match_byte (1);
+ match_byte (0);
+ match_byte (0);
+ match_byte (0);
+ match_byte (1);
+ }
+ else 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 if (match_u32 (0))
+ {
+ match_u32_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;
+ }
+
+ char *base = get_string();
+ int x = get_u32();
+ printf ("\"%s\"; %d variables:\n", base, x);
+ for (int i = 0; i < x; i++)
+ {
+ int y = get_u32();
+ if (!y)
+ y = 1;
+ else
+ 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);
+ }
+ else
+ dump_title_value (level+1);
+ putchar('\n');
+ }
+ }
+ }
+ else
+ {
+ match_byte_assert (0x58);
+ char *base = get_string();
+ int x = get_u32();
+ printf ("\"%s\" with %d variables:\n", base, x);
+ for (int i = 0; i < x; i++)
+ {
+ int y = get_u32();
+ if (!y)
+ y = 1;
+ else
+ 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);
+ }
+ else
+ dump_title_value (level+1);
+ putchar('\n');
+ }
+ }
+ }
+}
+
+static void
+dump_title(void)
+{
+ pos = 0x27;
+ dump_title_value(0); putchar('\n'); putchar('\n');
+ dump_title_value(0); putchar('\n'); putchar('\n');
+ match_byte_assert(0x31);
+ dump_title_value(0); putchar('\n'); putchar('\n');
+ match_byte(0);
+ match_byte_assert(0x58);
+ if (match_byte(0x31))
+ {
+ dump_title_value(0); putchar('\n');
+ }
+ else
+ match_byte_assert(0x58);
+}
+