static int bufferedInputStream_bufferSize = 65536;

static BufferedInputStream bufferedInputStream(int bufSize, File f) ctex {
  ret bufferedInputStream(bufSize, newFileInputStream(f));
}

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

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

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