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