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

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