static Map synchroMap() {
  ret synchroHashMap();
}

static <A, B> Map<A, B> synchroMap(Map<A, B> map) {
  ifdef OurSyncCollections
    ret new SynchronizedMap(map);
  endifdef
  ifndef OurSyncCollections
    ret Collections.synchronizedMap(map);
  endifndef
}