static BufferedReader bufferedUtf8Reader(InputStream in) {
  ret utf8BufferedReader(in);
}



static BufferedReader bufferedUtf8Reader(File f) {
  ret utf8BufferedReader(f);
}