static byte[] raf_readFilePart(RandomAccessFile raf, long start, int l) ctex {
  byte[] buf = new byte[l];
  raf.seek(start);
  raf.readFully(buf);
  ret buf;
}