static <A, B> B getAndRemove(Map<A, B> map, A a) {
  if (!containsKey(map, a)) null;
  B b = map.get(a);
  map.remove(a);
  ret b;
}