static PrintWriter bufferedFileWriter(File f) {
  ret filePrintWriter(f);
}