Symbol: adt_ports_to_at_port