[numthreads(1, 1, 1)]
void f() {
  int4 v = (int(0)).xxxx;
}