static Writer rawBytesWriter(OutputStream out) ctex {
  ret new OutputStreamWriter(out, "ISO-8859-1");
}