Symbol: expand_label_nr