static BufferedInputStream bufferedFileInputStream(File f) {
  ret bufferedInputStream(f);
}

static BufferedInputStream bufferedFileInputStream(File f, int bufSize) ctex {
  ret new BufferedInputStream(in, bufSize);
}