static <A> Set<A> synchroWeakHashSet() {
  ret new WeakHashSet;
}