static char *
get_string(const char *where)
{
- if (data[pos + 1] == 0 && data[pos + 2] == 0 && data[pos + 3] == 0
+ if (1
+ /*data[pos + 1] == 0 && data[pos + 2] == 0 && data[pos + 3] == 0*/
/*&& all_ascii(&data[pos + 4], data[pos])*/)
{
- int len = data[pos];
+ int len = data[pos] + data[pos + 1] * 256;
char *s = malloc(len + 1);
memcpy(s, &data[pos + 4], len);
s[len] = 0;
- pos += 4 + data[pos];
+ pos += 4 + len;
return s;
}
else
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);
unsigned int format;
double value;
- 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);
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 (0x31))
{
- int subn;
- int total_subs = 1;
-
- 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;
}
-
- for (int i = 0; i < total_subs; i++)
+ else
{
- putc ('\n', stdout);
- dump_value (level + 1);
+ 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);
+ 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
{
- int total_subs = 1;
match_byte_assert (0x58);
- printf ("\"%s\" with substitutions:", get_string());
- for (;;)
+ char *base = get_string();
+ int x = get_u32();
+ printf ("\"%s\" with %d variables:\n", base, x);
+ if (match_u32(0))
{
- int n_subst = get_u32();
- if (!n_subst)
- break;
- printf (" %d", n_subst);
- total_subs *= n_subst;
+ for (int i = 0; i < x; i++)
+ {
+ dump_value (level+1);
+ putchar('\n');
+ }
}
-
- for (int i = 0; i < total_subs; i++)
+ else
{
- putc ('\n', stdout);
- dump_value (level + 1);
+ 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();
}
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);
dump_category (0);
}
+int n_dims;
static void
dump_dims(void)
{
- int n_dims = get_u32();
-
+ n_dims = get_u32();
printf ("%u dimensions\n", n_dims);
for (int i = 0; i < n_dims; i++)
{
}
}
-int
-main(int argc, char *argv[])
+static void
+dump_data(void)
{
- size_t start;
- struct stat s;
-
- if (isatty(STDIN_FILENO))
- {
- fprintf(stderr, "redirect stdin from a .bin file\n");
- exit(1);
- }
- if (fstat(STDIN_FILENO, &s))
- {
- perror("fstat");
- exit(1);
- }
- n = s.st_size;
- data = malloc(n);
- if (!data)
- {
- perror("malloc");
- exit(1);
- }
- if (read(STDIN_FILENO, data, n) != n)
+#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++)
{
- perror("read");
- exit(1);
- }
+ 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 (argc > 1)
- {
- if (!strcmp(argv[1], "title0"))
+ 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))
{
- pos = 0x27;
- if (match_byte (0x03)
- || (match_byte (0x05) && match_byte (0x58)))
- printf ("%s\n", get_string());
+ 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
- printf ("<unknown>\n");
- return 0;
+ match_byte_assert (0x58);
+ get_string();
+ printf("string \"%s\"", get_string());
+ match_byte (0);
}
- if (!strcmp(argv[1], "title"))
+ else if (match_byte (2))
{
- const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
- start = 0x27;
- n = find(fonts, sizeof fonts - 1);
+ 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 (!strcmp(argv[1], "fonts"))
+ else if (match_byte (4))
{
- const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
- const char styles[] = "\xf0\0\0\0";
- start = find(fonts, sizeof fonts - 1);
- n = find(styles, sizeof styles - 1);
+ 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 (!strcmp(argv[1], "styles"))
+ else if (match_byte (5))
{
- const char styles[] = "\xf0\0\0\0";
- const char dimensions[] = "-,,,.\0";
- start = find(styles, sizeof styles - 1);
- n = find(dimensions, sizeof dimensions - 1) + sizeof dimensions - 1;
+ 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 (!strcmp(argv[1], "dimensions"))
+ else if (match_byte(0x31))
{
- {
- const char dimensions[] = "-,,,.\0";
- start = try_find_tail(dimensions, sizeof dimensions - 1);
- }
+ 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 (!start)
+ 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++)
{
- const char dimensions[] = "-,,, .\0";
- start = find_tail(dimensions, sizeof dimensions - 1);
+ 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');
+ }
+}
- pos = start;
- dump_dims ();
- return 0;
+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_footnote_value(int level)
+{
+ 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();
+ 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);
+ 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))
+ {
+ 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 (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);
+ }
+ 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 <= 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_footnote_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);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ }
+ else
+ dump_footnote_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);
+
+
+ int n_footnotes = get_u32();
+ if (n_footnotes >= 20)
+ {
+ fprintf(stderr, "%08x: %d footnotes\n", pos - 4, n_footnotes);
+ exit(1);
+ }
+
+ printf("------\n%d footnotes\n", n_footnotes);
+ if (n_footnotes < 20)
+ {
+ for (int i = 0; i < n_footnotes; i++)
+ {
+ printf("footnote %d:\n", i);
+ dump_footnote_value(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 (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))
+ {
+ match_byte_assert(3);
+ get_string();
+ match_byte_assert(0x58);
+ match_u32_assert(0);
+ get_string();
+ match_byte(0);
+ }
+ else
+ match_byte_assert (0x58);
+ printf("(%d)\n", get_u32());
+ }
+ }
+}
+
+int
+main(int argc, char *argv[])
+{
+ size_t start;
+ struct stat s;
+
+ if (isatty(STDIN_FILENO))
+ {
+ fprintf(stderr, "redirect stdin from a .bin file\n");
+ exit(1);
+ }
+ if (fstat(STDIN_FILENO, &s))
+ {
+ perror("fstat");
+ exit(1);
+ }
+ n = s.st_size;
+ data = malloc(n);
+ if (!data)
+ {
+ perror("malloc");
+ exit(1);
+ }
+ if (read(STDIN_FILENO, data, n) != n)
+ {
+ perror("read");
+ exit(1);
+ }
+
+ if (argc > 1)
+ {
+ if (!strcmp(argv[1], "title0"))
+ {
+ pos = 0x27;
+ if (match_byte (0x03)
+ || (match_byte (0x05) && match_byte (0x58)))
+ printf ("%s\n", get_string());
+ else
+ printf ("<unknown>\n");
+ return 0;
+ }
+ else if (!strcmp(argv[1], "title"))
+ {
+ dump_title();
+ exit(0);
+ }
+ else if (!strcmp(argv[1], "titleraw"))
+ {
+ const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
+ start = 0x27;
+ n = find(fonts, sizeof fonts - 1);
+ }
+ else if (!strcmp(argv[1], "fonts"))
+ {
+ const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
+ const char styles[] = "\xf0\0\0\0";
+ start = find(fonts, sizeof fonts - 1);
+ n = find(styles, sizeof styles - 1);
+ }
+ else if (!strcmp(argv[1], "styles"))
+ {
+ const char styles[] = "\xf0\0\0\0";
+ const char dimensions[] = "-,,,.\0";
+ start = find(styles, sizeof styles - 1);
+ n = find(dimensions, sizeof dimensions - 1) + sizeof dimensions - 1;
+ }
+ else if (!strcmp(argv[1], "dimensions") || !strcmp(argv[1], "all"))
+ {
+ {
+ const char dimensions[] = "-,,,.\0";
+ start = try_find_tail(dimensions, sizeof dimensions - 1);
+ }
+
+ if (!start)
+ {
+ const char dimensions[] = "-,,, .\0";
+ start = find_tail(dimensions, sizeof dimensions - 1);
+ }
+
+ pos = start;
+ dump_dims ();
+ dump_data ();
+ if (!strcmp(argv[1], "all"))
+ dump_title ();
+ exit(0);
}
else
{
{
if (i + 5 <= n
&& data[i]
- && !data[i + 1]
+ //&& !data[i + 1]
&& !data[i + 2]
&& !data[i + 3]
- && i + 4 + data[i] <= n
- && all_ascii(&data[i + 4], data[i]))
+ && i + 4 + data[i] + data[i + 1] * 256 <= n
+ && all_ascii(&data[i + 4], data[i] + data[i + 1] * 256))
{
fputs("\n\"", stdout);
- fwrite(&data[i + 4], 1, data[i], stdout);
+ fwrite(&data[i + 4], 1, data[i] + data[i + 1] * 256, stdout);
fputs("\" ", stdout);
- i += 4 + data[i];
+ i += 4 + data[i] + data[i + 1] * 256;
}
else if (i + 12 <= n
&& data[i + 1] == 40