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_u32 (1) && !match_u32(2))
+ match_u32_assert (3);
match_byte (0);
match_byte (0);
match_byte (0);