Port: OpenBitSetDISI, OpenBitSetIterator