explicit bitvect with all ones updated