Updating: improving libats/bitvec
Merging