static <A> List<A> ll(A... a) {
  ArrayList l = new(a.length);
  for (A x : a) l.add(x);
  ret l;
}