bool BitVecIsSorted(BitVec *bv) {
        ValidateBitVec(bv);

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

    
        // Test empty bitvector (should be sorted)
        bool result = BitVecIsSorted(&bv);
    
        // Test sorted pattern: 0001111

        BitVecPush(&bv, true);
    
        result = result && BitVecIsSorted(&bv);
    
        // Test unsorted pattern (add 0 after 1s)

        // Test unsorted pattern (add 0 after 1s)
        BitVecPush(&bv, false);
        result = result && !BitVecIsSorted(&bv);
    
        // Test all zeros

            BitVecPush(&bv, false);
        }
        result = result && BitVecIsSorted(&bv);
    
        // Test all ones

            BitVecPush(&bv, true);
        }
        result = result && BitVecIsSorted(&bv);
    
        // Clean up

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