[numthreads(1, 1, 1)]
void main() {
  int zero[2][3] = (int[2][3])0;
  int init[2][3] = {{1, 2, 3}, {4, 5, 6}};
  return;
}