static <A> ArrayList<Int> intArrayToList(int[] a) {
  if (a == null) null;
  ret intArrayToList(a, 0, a.length);
}

static <A> ArrayList<Int> intArrayToList(int[] a, int from, int to) {
  if (a == null) null;
  ArrayList<Int> l = new(a.length);
  for (int i : a) l.add(i);
  ret l;
}