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