Symbol: if_type_name