Symbol: type_trans