+ else
+ {
+ int total_subs = 1;
+
+ match_byte_assert (0x58);
+ printf ("\"%s\" with substitutions:", get_string());
+ for (;;)
+ {
+ int n_subst = get_u32();
+ if (!n_subst)
+ break;
+ printf (" %d", n_subst);
+ total_subs *= n_subst;
+ }
+
+ for (int i = 0; i < total_subs; i++)
+ {
+ putc ('\n', stdout);
+ dump_dim_value (0);
+ }
+ }
+
+ /* This byte is usually 0x02 but 0x00 and 0x75 (!) have also been spotted. */
+ pos++;