BitVecPop Description Pop the last bit from bitvector. Returns the value of the removed bit.
BitVecRemoveLast Description Remove the last occurrence of a specific bit value. Returns true if a bit was found and removed, false otherwise.