Symbol: convert_label