
ByteAddressBuffer tint_symbol : register(t0);
RWByteAddressBuffer tint_symbol_1 : register(u1);
void v(uint offset, float3x4 obj) {
  tint_symbol_1.Store4((offset + 0u), asuint(obj[0u]));
  tint_symbol_1.Store4((offset + 16u), asuint(obj[1u]));
  tint_symbol_1.Store4((offset + 32u), asuint(obj[2u]));
}

float3x4 v_1(uint offset) {
  float4 v_2 = asfloat(tint_symbol.Load4((offset + 0u)));
  float4 v_3 = asfloat(tint_symbol.Load4((offset + 16u)));
  return float3x4(v_2, v_3, asfloat(tint_symbol.Load4((offset + 32u))));
}

[numthreads(1, 1, 1)]
void main() {
  v(0u, v_1(0u));
}