static TreeMap revTreeMap() {
  ret new TreeMap(reverseComparator());
}