}
    
    bool BitVecPop(BitVec *bitvec) {
    ValidateBitVec(bitvec);
    if (bitvec->length == 0) {

    // Test BitVecPop function
    bool test_bitvec_pop(void) {
    WriteFmt("Testing BitVecPop\n");
    
    BitVec bv = BitVecInit();

    
    // Pop the last bit
    bool popped = BitVecPop(&bv);
    
    // Check result

    
    // Pop another bit
    popped = BitVecPop(&bv);
    result = result && (popped == false) && (bv.length == 1);
    result = result && (BitVecGet(&bv, 0) == true);

    
    // Pop the last bit
    popped = BitVecPop(&bv);
    result = result && (popped == true) && (bv.length == 0);

    // Edge case tests
    bool test_bitvec_pop_edge_cases(void) {
    WriteFmt("Testing BitVecPop edge cases\n");
    
    BitVec bv     = BitVecInit();

    // Test pop single element
    BitVecPush(&bv, true);
    bool popped = BitVecPop(&bv);
    result      = result && (popped == true) && (bv.length == 0);

    }
    for (int i = 99; i >= 0; i--) {
    popped = BitVecPop(&bv);
    result = result && (popped == (i % 2 == 0));
    result = result && (bv.length == (size)i);

    
    // Test NULL bitvec pointer - should abort
    BitVecPop(NULL);
    
    return false;

    
    // Test pop from empty bitvec - should abort
    BitVecPop(&bv);
    
    BitVecDeinit(&bv);