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