static S stringBuffer_substring(StringBuffer buf, int start) {
  if (buf == null) ret "";
  synchronized(buf) {
    ret buf.substring(min(start, l(buf)));
  }
}