extern BitVector createBitVector(int state);
extern const BitVectorPtr allocateBitVector();
extern BitVector bitSet(BitVector bi, int bitSetPosition);
extern void bitPrint(BitVectorPtr bi);

inline int searchBit(BitVector bi) {
    return __builtin_ffs(bi.bitContainer);
}