static <A, B> NavigableSet<A> navigableKeys(NavigableMap<A, B> map) {
  ret map == null ? new TreeSet : map.navigableKeySet();
}