sS renderPosNegCounts(PosNeg pn) {
  if (pn == null) ret "";
  ret "+" + l(pn.pos) + ", -" + l(pn.neg);
}