- else if (data[pos] == 5)
- dump_value__(level);
- else if (match_byte (3))
- {
- get_string();
- dump_value_31();
- get_string();
- printf("string \"%s\"", get_string());
- if (!match_byte (0))
- match_byte_assert (1);
- }
- else if (match_byte (1))
- {
- unsigned int format;
- double value;
-
- dump_value_31();
- format = get_u32 ();
- value = get_double ();
- printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- }
+ else if (data[pos] == 5 || data[pos] == 3 || data[pos] == 1)
+ dump_value__(level, false);