static BufferedReader utf8bufferedReader(InputStream in) ctex {
  ret bufferedReader(_registerIOWrap(new InputStreamReader(in, "UTF-8"), in));
}

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