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

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

static <A> ArrayList<A> toList(Set<A> s) {
  ret asList(s);
}