sS joinPairWithDoubleArrow(Pair p) {
  ret p == null ? "" : str(p.a) + " => " + str(p.b);
}