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