static int bufferedInputStream_bufferSize = 65536;

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

static BufferedInputStream bufferedInputStream(InputStream in) {
  ret new BufferedInputStream(in, bufferedInputStream_bufferSize);
}