BitVecDisjoint

    }
    
    bool BitVecDisjoint(const BitVec *bv1, const BitVec *bv2) {
        ValidateBitVec(bv1);
        ValidateBitVec(bv2);

    
    bool BitVecOverlaps(const BitVec *bv1, const BitVec *bv2) {
        return !BitVecDisjoint(bv1, bv2);
    }

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecDisjoint and BitVecIntersects\n");
    
        BitVec bv1 = BitVecInit(ALLOCATOR_OF(&alloc));

    
        // Should be disjoint and not intersect
        bool result = BitVecDisjoint(&bv1, &bv2);
        result      = result && !BitVecOverlaps(&bv1, &bv2);

    
        // Should not be disjoint and should intersect
        result = result && !BitVecDisjoint(&bv1, &bv2);
        result = result && BitVecOverlaps(&bv1, &bv2);

        BitVecClear(&bv1);
        BitVecClear(&bv2);
        result = result && BitVecDisjoint(&bv1, &bv2);
        result = result && !BitVecOverlaps(&bv1, &bv2);

        // Test with empty sets
        result = result && !BitVecOverlaps(&bv1, &bv2);
        result = result && BitVecDisjoint(&bv1, &bv2);
    
        // Test single bit sets

        // Test set operations on large vectors
        bool overlaps = BitVecOverlaps(&large1, &large2);
        bool disjoint = BitVecDisjoint(&large1, &large2);
        result        = result && (overlaps != disjoint); // Should be opposite

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecDisjoint scans beyond position 0\n");
    
        BitVec bv1 = BitVecInit(base);

    
        // They share 1-bits, so they are NOT disjoint.
        bool result = (BitVecDisjoint(&bv1, &bv2) == false);
    
        BitVecDeinit(&bv1);

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecDisjoint rejects NULL bv1\n");
    
        BitVec bv2 = BitVecInit(base);

    
        // Should abort on the NULL first argument.
        BitVecDisjoint(NULL, &bv2);
    
        BitVecDeinit(&bv2);

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecDisjoint rejects NULL bv2\n");
    
        BitVec bv1 = BitVecInit(base);

    
        // Should abort on the NULL second argument.
        BitVecDisjoint(&bv1, NULL);
    
        BitVecDeinit(&bv1);