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