static PrintWriter filePrintWriter_append(File f) {
  ret printWriter(bufferedFileOutputStream_append(f));
}