static BufferedOutputStream bufferedFileOutputStream(File f) {
  ret newBufferedOutputStream(newFileOutputStream(f));
}