static <A> void putHigherInt(Map<A, Int> map, A a, int i) {
  int x = toInt(map.get(a));
  if (i > x) map.put(a, i);
}