Symbol: label_t