Updating: working on libats/bitvec