svoid  writeIntArrayToRandomAccessFile(RandomAccessFile raf, int[] array) ctex {
  for (IntRange r : intRangeChunks(l(array), 1024))
    raf.write(intArrayToBytes(subIntArray(array, r)));
}