static void printTo(StringBuilder buf, O o) {
  buf.append(str(o)).append("\n");
}