Update batBitSet.ml