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