Symbol: Rec_type