static ThreadLocal<StringBuilder> printToBuf_buf;

static void printToBuf(O o) {
  StringBuilder buf = printToBuf_buf!;
  if (buf == null) printToBuf_buf.set(buf = new StringBuilder);
  buf.append(str(o)).append("\n");
}