static RandomAccessFile newRandomAccessFile_append(File path) ctex {
  RandomAccessFile raf = newRandomAccessFile(path, "rw");
  raf.seek(raf.length());
  ret raf;
}