Updating: improving libats/bitvec