Symbol: write_ports