static OutputStream printOutputStream() {
  final new UTF8Processor utf8;
  ret new OutputStream {
    public void write(int b) {
      print_noNewLine(utf8.processByte((byte) b));
    }
  };
}