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