Symbol: Rec_Type