void f(int[] x, int[]? y) {
  y = x;
  return;
}