svoid saveBinaryFilePart(S path, long start, byte[] data) {
  saveBinaryFilePart(path, start, data);
}

svoid saveBinaryFilePart(File f, long start, byte[] data) ctex {
  RandomAccessFile raf = newRandomAccessFile(f, "rw");
  try {
    raf.seek(start);
    raf.write(data);
  } finally {
    raf.close();
  }
}