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