13 all_ascii(const uint8_t *p, size_t n)
15 for (size_t i = 0; i < n; i++)
16 if (p[i] < 32 || p[i] > 126)
22 try_find(const char *target, size_t target_len)
24 const uint8_t *pos = (const uint8_t *) memmem (data, n, target, target_len);
25 return pos ? pos - data : 0;
29 try_find_tail(const char *target, size_t target_len)
31 size_t pos = try_find(target, target_len);
32 return pos ? pos + target_len : 0;
36 find(const char *target, size_t target_len)
38 size_t pos = try_find(target, target_len);
41 fprintf (stderr, "not found\n");
48 find_tail(const char *target, size_t target_len)
50 size_t pos = try_find_tail(target, target_len);
53 fprintf (stderr, "not found\n");
62 #define STR(x) XSTR(x)
63 #define WHERE __FILE__":" STR(__LINE__)
69 memcpy(&x, &data[pos], 4);
78 memcpy(&x, &data[pos], 8);
93 match_u32_assert(uint32_t x, const char *where)
95 unsigned int y = get_u32();
98 fprintf(stderr, "%s: 0x%x: expected i%u, got i%u\n", where, pos - 4, x, y);
102 #define match_u32_assert(x) match_u32_assert(x, WHERE)
105 match_byte(uint8_t b)
107 if (pos < n && data[pos] == b)
117 match_byte_assert(uint8_t b, const char *where)
121 fprintf(stderr, "%s: 0x%x: expected %02x, got %02x\n", where, pos, b, data[pos]);
125 #define match_byte_assert(b) match_byte_assert(b, WHERE)
128 get_string(const char *where)
131 /*data[pos + 1] == 0 && data[pos + 2] == 0 && data[pos + 3] == 0*/
132 /*&& all_ascii(&data[pos + 4], data[pos])*/)
134 int len = data[pos] + data[pos + 1] * 256;
135 char *s = malloc(len + 1);
137 memcpy(s, &data[pos + 4], len);
144 fprintf(stderr, "%s: 0x%x: expected string\n", where, pos);
148 #define get_string() get_string(WHERE)
153 if (match_byte (0x31))
160 match_u32_assert (0);
161 int subn = get_u32 ();
162 printf ("nested %d bytes", subn);
165 else if (match_u32 (1))
167 printf("(footnote %d) ", get_u32());
168 match_byte_assert (0);
169 match_byte_assert (0);
170 int subn = get_u32 ();
171 printf ("nested %d bytes", subn);
174 else if (match_u32 (2))
176 printf("(special 2)");
177 match_byte_assert(0);
178 match_byte_assert(0);
181 match_byte_assert(0);
182 match_byte_assert(0);
183 int subn = get_u32 ();
184 printf ("nested %d bytes", subn);
190 printf("(special 3)");
191 match_byte_assert(0);
192 match_byte_assert(0);
193 match_byte_assert(1);
194 match_byte_assert(0);
195 int subn = get_u32 ();
196 printf ("nested %d bytes, ", subn);
199 printf ("nested %d bytes, ", subn);
204 match_byte_assert (0x58);
207 static void dump_value(int level, bool match1);
210 dump_value__(int level, bool match1)
214 char *s1 = get_string();
216 char *s2 = get_string();
217 char *s3 = get_string();
219 printf("strings \"%s\", \"%s\" and \"%s\"", s1, s2, s3);
221 printf("string \"%s\" and \"%s\"", s1, s2);
223 match_byte_assert(1);
227 else if (match_byte (5))
230 printf ("variable \"%s\"", get_string());
232 if (!match_byte(1) && !match_byte(2))
233 match_byte_assert(3);
235 else if (match_byte (2))
241 match_byte_assert (0x58);
243 value = get_double ();
245 vallab = get_string ();
246 printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
247 value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
248 if (!match_byte (1) && !match_byte(2))
249 match_byte_assert (3);
251 else if (match_byte (4))
254 char *var, *vallab, *value;
256 match_byte_assert (0x58);
258 vallab = get_string ();
260 if (!match_byte(1) && !match_byte(2))
261 match_byte_assert (3);
262 value = get_string ();
263 printf ("value \"%s\" format %d(%d.%d) var \"%s\" vallab \"%s\"",
264 value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
266 else if (match_byte (1))
273 value = get_double ();
274 printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
281 char *base = get_string();
284 printf ("\"%s\" with %d variables:\n", base, x);
285 for (int i = 0; i < x; i++)
292 for (int j = 0; j <= level; j++)
294 printf("variable %d has %d values:\n", i, y);
295 for (int j = 0; j < y; j++)
301 dump_value__ (level+1, false);
309 dump_value(int level, bool match1)
311 for (int i = 0; i <= level; i++)
318 dump_value__(level, match1);
325 dump_dim_value(int level)
327 for (int i = 0; i <= level; i++)
330 if (data[pos] == 3 || data[pos] == 5)
331 dump_value__(level, true);
333 dump_value(level, true);
337 dump_category(int level)
339 dump_value (level, true);
343 else if (match_byte (1))
347 match_u32_assert (1);
350 else if (!match_u32(2))
351 match_u32_assert (0);
355 int n_categories = get_u32();
356 if (n_categories > 0)
357 printf (", %d subcategories:", n_categories);
359 for (int i = 0; i < n_categories; i++)
360 dump_category (level + 1);
367 printf("next dim\n");
370 /* This byte is usually 0x02 but 0x00 and 0x75 (!) have also been spotted. */
373 if (!match_byte(0) && !match_byte(1))
374 match_byte_assert(2);
378 match_byte_assert(1);
388 n_categories = get_u32();
389 printf("%d nested categories\n", n_categories);
390 for (int i = 0; i < n_categories; i++)
399 printf ("%u dimensions\n", n_dims);
400 for (int i = 0; i < n_dims; i++)
408 dump_substs(void (*dump)(int level), int level)
412 char *base = get_string();
414 printf ("\"%s\" with %d variables:\n", base, x);
415 for (int i = 0; i < x; i++)
422 for (int j = 0; j <= level; j++)
424 printf("variable %d has %d values:\n", i, y);
425 for (int j = 0; j < y; j++)
434 dump_data_value(int level)
436 for (int i = 0; i <= level; i++)
443 if (data[pos] == 1 || data[pos] == 2 || data[pos] == 3 || data[pos] == 4)
444 dump_value__(0, false);
445 else if (data[pos] == 5)
446 dump_value (0, true);
448 dump_substs (dump_data_value, level + 1);
456 for (int i = 0; i < 3 + n_dims; i++)
458 printf ("data intro:");
459 for (int i = 0; i < 3 + n_dims; i++)
463 fprintf (stderr,"data intro (%d dims):", n_dims);
464 for (int i = 0; i < 3+n_dims; i++)
465 fprintf (stderr," %d", get_u32());
466 fprintf(stderr,"\n");
469 printf ("%d data values, starting at %08x\n", x, pos);
470 for (int i = 0; i < x; i++)
472 printf("%08x, index %d:\n", pos, get_u32());
480 dump_title_value(int level)
482 for (int i = 0; i <= level; i++)
489 if (data[pos] == 1 || data[pos] == 2 || data[pos] == 3 || data[pos] == 4)
490 dump_value(level, true);
491 else if (data[pos] == 5)
492 dump_value__(level, true);
494 dump_substs(dump_title_value, level + 1);
498 dump_footnote_value(int level)
500 for (int i = 0; i <= level; i++)
507 if (data[pos] == 2 || data[pos] == 4)
508 dump_value(level, true);
509 else if (data[pos] == 1 || data[pos] == 3 || data[pos] == 5)
510 dump_value__(level, false);
512 dump_substs(dump_footnote_value, level + 1);
519 dump_title_value(0); putchar('\n');
520 dump_title_value(0); putchar('\n');
521 match_byte_assert(0x31);
522 dump_title_value(0); putchar('\n');
524 match_byte_assert(0x58);
525 if (match_byte(0x31))
527 dump_footnote_value(0); putchar('\n');
530 match_byte_assert(0x58);
533 int n_footnotes = get_u32();
534 if (n_footnotes >= 20)
536 fprintf(stderr, "%08x: %d footnotes\n", pos - 4, n_footnotes);
540 printf("------\n%d footnotes\n", n_footnotes);
541 if (n_footnotes < 20)
543 for (int i = 0; i < n_footnotes; i++)
545 printf("footnote %d:\n", i);
546 dump_footnote_value(0);
551 if (match_byte (0x31))
553 /* Custom footnote marker string. */
554 match_byte_assert(3);
556 match_byte_assert(0x58);
561 match_byte_assert (0x58);
562 printf("(%d)\n", get_u32());
568 find_dimensions(void)
571 const char dimensions[] = "-,,,.\0";
572 int x = try_find_tail(dimensions, sizeof dimensions - 1);
577 const char dimensions[] = "-,,, .\0";
578 return find_tail(dimensions, sizeof dimensions - 1);
584 printf("fonts: offset=%08x\n", pos);
586 for (int i = 1; i <= 8; i++)
588 printf("%08x: font %d, ", pos, i);
589 match_byte_assert(i);
590 match_byte_assert(0x31);
591 printf("%s, ", get_string());
592 match_byte_assert(0);
593 match_byte_assert(0);
594 if (!match_byte(0x40) && !match_byte(0x20) && !match_byte(0x80) && !match_byte(0x10))
595 match_byte_assert(0x50);
596 if (!match_byte(0x41))
597 match_byte_assert(0x51);
599 printf ("%s, ", get_string());
600 printf ("%s, ", get_string());
611 match_u32_assert(240);
614 match_u32_assert(18);
621 match_u32_assert(142);
625 int count = get_u32();
628 char *encoding = get_string();
629 printf("encoding=%s\n", encoding);
632 match_u32_assert(UINT32_MAX);
634 match_byte_assert(1);
635 match_byte_assert(0);
637 match_byte_assert(1);
638 if (!match_byte(0x99) && !match_byte(0x98))
639 match_byte_assert(0x97);
640 match_byte_assert(7);
641 match_byte_assert(0);
642 match_byte_assert(0);
644 match_byte_assert(',');
647 match_byte_assert(',');
648 if (!match_byte('.'))
649 match_byte_assert(' ');
652 for (int i = 0; i < 5; i++)
655 if (pos != find_dimensions())
656 fprintf (stderr, "%08x / %08x\n", pos, find_dimensions());
660 main(int argc, char *argv[])
665 if (isatty(STDIN_FILENO))
667 fprintf(stderr, "redirect stdin from a .bin file\n");
670 if (fstat(STDIN_FILENO, &s))
682 if (read(STDIN_FILENO, data, n) != n)
690 if (!strcmp(argv[1], "title0"))
693 if (match_byte (0x03)
694 || (match_byte (0x05) && match_byte (0x58)))
695 printf ("%s\n", get_string());
697 printf ("<unknown>\n");
700 else if (!strcmp(argv[1], "title"))
705 else if (!strcmp(argv[1], "titleraw"))
707 const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
709 n = find(fonts, sizeof fonts - 1);
711 else if (!strcmp(argv[1], "fonts"))
713 const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
714 const char styles[] = "\xf0\0\0\0";
715 start = find(fonts, sizeof fonts - 1);
716 n = find(styles, sizeof styles - 1);
718 else if (!strcmp(argv[1], "styles"))
720 const char styles[] = "\xf0\0\0\0";
721 const char dimensions[] = "-,,,.\0";
722 start = find(styles, sizeof styles - 1);
723 n = find(dimensions, sizeof dimensions - 1) + sizeof dimensions - 1;
725 else if (!strcmp(argv[1], "dimensions") || !strcmp(argv[1], "all"))
728 match_byte_assert(1);
729 match_byte_assert(0);
731 match_byte_assert(1);
733 match_byte_assert(1);
734 match_byte_assert(0);
735 match_byte_assert(0);
737 match_byte_assert(1);
739 match_byte_assert(0);
740 match_byte_assert(0);
741 match_byte_assert(0);
745 printf("\n\ndata:\n");
748 match_byte_assert (1);
751 fprintf (stderr, "%x / %x\n", pos, n);
758 fprintf (stderr, "unknown section %s\n", argv[1]);
765 for (size_t i = start; i < n; )
772 && i + 4 + data[i] + data[i + 1] * 256 <= n
773 && all_ascii(&data[i + 4], data[i] + data[i + 1] * 256))
775 fputs("\n\"", stdout);
776 fwrite(&data[i + 4], 1, data[i] + data[i + 1] * 256, stdout);
777 fputs("\" ", stdout);
779 i += 4 + data[i] + data[i + 1] * 256;
788 memcpy (&d, &data[i + 4], 8);
789 printf ("F40.%d(%.*f)\n", data[i], data[i], d);
799 memcpy (&d, &data[i + 4], 8);
800 printf ("PCT40.%d(%.*f)\n", data[i], data[i], d);
804 && (data[i] && data[i] != 88 && data[i] != 0x41)
809 printf ("i%d ", data[i]);
814 printf("%02x ", data[i]);