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