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

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