svoid clearStringBuilder(StringBuilder buf) {
  if (buf != null) buf.setLength(0);
}