[numthreads(1, 1, 1)]
void f() {
  float3 v = (0.0f).xxx;
}