Symbol: update_port