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