Symbol: write_uint8