match_u32_assert(0);
       match_u32_assert(0);
       match_byte_assert(0);
+
+      /* These seem unlikely to be correct too. */
+      if (i != 3)
+        {
+          match_u32_assert(8);
+          if (!match_u32(10))
+            match_u32_assert(11);
+          match_u32_assert(1);
+        }
+      else
+        {
+          get_u32();
+          if (!match_u32(-1) && !match_u32(8))
+            match_u32_assert(24);
+          if (!match_u32(-1) && !match_u32(2))
+            match_u32_assert(3);
+        }
+
+      /* Who knows? Ranges from -1 to 8 with no obvious pattern. */
       get_u32();
-      get_u32();
-      get_u32();
-      get_u32();
-      putchar('\n');
     }
 
   match_u32_assert(240);