Symbol: to_asc_port