svoid changeKey(Map map, O oldKey, O newKey) {
  if (map == null || eq(oldKey, newKey) || !map.containsKey(oldKey)) ret;
  map.put(newKey, map.get(oldKey));
  map.remove(oldKey);
}