static S joinPairWithSpace(Pair p) {
  ret str(p.a) + " " + str(p.b);
}