Refine dump_fonts() slightly.

diff --git a/dump.c b/dump.c
index f1f212bd3d43ee3a76b615ff17ebc37ad31f7632..f87c78b8ff74a687c916e6ca940bcb7d07c87286 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -580,12 +580,20 @@ dump_fonts(void)
         match_byte_assert(0x50);
       if (!match_byte(0x41))
         match_byte_assert(0x51);
-      pos += 13;
+      if (!match_u32(0))
+        match_u32_assert(1);
+      match_byte_assert(0);
+      pos++;
+      pos++;
+      match_byte_assert(0);
+      match_byte_assert(0);
+      if (!match_u32(0) && !match_u32(1) && !match_u32(2))
+        match_u32_assert(3);
       printf ("%s, ", get_string());
       printf ("%s, ", get_string());
       match_u32_assert(0);
       match_u32_assert(0);
-      pos++;
+      match_byte_assert(0);
       get_u32();
       get_u32();
       get_u32();