static <A> HashSet<A> asHashSet(Collection<A> c) {
  ret new HashSet(c);
}