static PrintWriter utf8PrintWriter(OutputStream out) {
  ret new PrintWriter(outputStreamToWriter(out));
}