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