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

svoid setBitInIntArray_littleEndian(int[] array, int iBit, bool value) {
  int iInt = iBit >> 5;
  if (value)
    array[iInt] |= 1 << (iBit & 31);
  else
    array[iInt] &= ~(1 << (iBit & 31));
}