label_number and instance_number are parsed from digits in the input label name — decode_local_label_name(). Tension: their decimal string lengths are not bounded by the +30 constant. Outcome: sprintf(symbol_decode, message_format, label_number, instance_number, type).

1f9f1ae2-e88b-4d08-afab-462f5ad40220