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



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