static <A, B extends Map> B mapGetOrCreateHashMap(Map<A, B> map, A key) {
  B b = map.get(key);
  if (b == null)
    map.put(key, b = new HashMap);
  ret b;
}