static StringWriter stringWriter() {
  ret new StringWriter;
}