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