static <A, B> HashMap<A, B> pairsToMap(Collection<? extends Pair<A, B>> l) {
  new HashMap<A, B> map;
  if (l != null) for (Pair<A, B> p : l)
    map.put(p.a, p.b);
  ret map;
}