static <A> Set<A> synchronizedSet() {
  ret synchroHashSet();
}

static <A> Set<A> synchronizedSet(Set<A> set) {
  ifdef OurSyncCollections
    ret new SynchronizedSet(set);
  endifdef
  ifndef OurSyncCollections
    ret Collections.synchronizedSet(set);
  endifndef
}