[numthreads(1, 1, 1)]
void unused_entry_point() {
  return;
}

RWByteAddressBuffer U : register(u0, space0);

void f() {
  U.Store3(0u, asuint(float3(1.0f, 2.0f, 3.0f)));
  U.Store(0u, asuint(1.0f));
  U.Store(4u, asuint(2.0f));
  U.Store(8u, asuint(3.0f));
}