Symbol: to_typec_plug