Symbol: write_uint16