+ int inner_len = get_u32();
+ int inner_end = pos + inner_len;
+ int array_start = pos + 33;
+ match_byte_assert(0);
+ pos++; /* 0, 1, 10 seen. */
+ match_byte_assert(0);
+ pos++; /* 0...11 seen. */
+ if (!match_byte(0) && !match_byte(1) && !match_byte(2))
+ match_byte_assert(3);
+ if (!match_byte(0) && !match_byte(2))
+ match_byte_assert(3);
+ if (!match_u64(0))
+ match_u64_assert(UINT64_MAX);
+ match_u32_assert(0);
+ match_u32_assert(0);
+ match_u32_assert(0);
+ match_u32_assert(0);
+ match_byte_assert(0);
+ if (!match_byte(0))
+ match_byte_assert(1);
+ match_byte_assert(1);
+ pos = array_start;
+#if 1
+ printf("widths:");
+ while (pos < inner_end)
+ printf(" %d", get_u32());
+ printf("\n");
+#endif
+ pos = inner_end;;