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