Symbol: write_ds_uint16