Symbol: write_ds_uint8