sS charPairToString(Pair<Char> p) {
  ret p == null ? null : ""+p.a+p.b;
}