static <A, B> NavigableMap<A, B> synchroNavigableMap(NavigableMap<A, B> map) {
  ifdef OurSyncCollections
    ret new SynchronizedNavigableMap(map);
  endifdef
  ifndef OurSyncCollections
    ret Collections.synchronizedNavigableMap(map);
  endifndef
}