static Int[] intArrayToBoxed(int[] l) {
  if (l == null) null;
  int n = l.length;
  Int[] a = new[n];
  for i to n:
    a[i] = l[i];
  ret a;
}