void SetBit (int index) { if (large_bits == null) bits = (uint) ((int) bits | (1 << index)); else large_bits[index >> 5] |= (1 << (index & 31)); }