static <A, B> A mapPut_returnKey(Map<A, B> map, A key, B value) {
  mapPut(map, key, value);
  ret key;
}