static new ThreadLocal<StringBuilder> printToBuf_buf;

static void printToBuf(O o) {
  StringBuilder buf = printToBuf_buf!;
  if (buf == null) printToBuf_buf.set(buf = new StringBuilder);
  printToBuf(buf, o);
}

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