Updating: minorly improving
Updating: minorly improving libats/bitvec