Symbol: write_port