Symbol: write_port_etc