svoid setBitInIntArray_littleEndian(int[] array, int iBit) {
  int iInt = iBit >> 8;
  array[iInt] |= 1 << (iBit & 31);
}