static void print_append(Appendable buf, S s, int max) ctex {
  synchronized(buf) {
    buf.append(s);
    if (buf cast StringBuffer)
      rotateStringBuffer(buf, max);
    else if (buf cast StringBuilder)
      rotateStringBuilder(buf, max);
  }
}