static PrintWriter filePrintWriter(File f) {
  ret printWriter(bufferedFileOutputStream(f));
}