(
module
BatBitSet
)