svoid removeLastKey(Map<A, B> map) {
  if (nempty(map))
    map.remove(lastKey(map));
}