static <A> ArrayList<A> newList(A[] a) {
  ret asList(a);
}

static ArrayList<Integer> newList(int[] a) {
  ret asList(a);
}

static <A> ArrayList<A> newList(Collection<A> s) {
  ret asList(s);
}