static <A, B> void doublePut(Map<A, B> map, A key1, A key2, B value) {
  map.put(key1, value);
  map.put(key2, value);
}