static BufferedReader rawByteReader(InputStream in) ctex {
  ret bufferedReader(_registerIOWrap(new InputStreamReader(in, "ISO-8859-1"), in));
}

static BufferedReader rawByteReader(File f) ctex {
  ret rawByteReader(newFileInputStream(f));
}