static int bufferedInputStream_bufferSize = 65536;

static BufferedInputStream bufferedInputStream(File f) {
  ret new BufferedInputStream(new FileInputStream(f), bufferedInputStream_bufferSize);
}