}
    
    u64 BitVecToBytes(BitVec *bv, u8 *bytes, u64 max_len) {
    ValidateBitVec(bv);
    if (!bytes) {

    // Test BitVecToBytes function
    bool test_bitvec_to_bytes(void) {
    printf("Testing BitVecToBytes\n");
    
    BitVec bv = BitVecInit();

    
    u8  bytes[2];           // Buffer for byte output
    u64 byte_count = BitVecToBytes(&bv, bytes, sizeof(bytes));
    
    // Check result

    // Test empty bitvec to bytes
    u8  bytes[1] = {0};
    u64 written  = BitVecToBytes(&bv, bytes, 1);
    result       = result && (written == 0); // Empty bitvec should write 0 bytes

    BitVec bv             = BitVecFromBytes(&test_bytes[i], 8);
    u8     recovered_byte = 0;
    u64    written        = BitVecToBytes(&bv, &recovered_byte, 1);
    
    result = result && (written == 1);

    
    u8  empty_bytes[1] = {0xFF};
    u64 empty_written  = BitVecToBytes(&empty, empty_bytes, 1);
    result             = result && (empty_written == 0);
    result             = result && (empty_bytes[0] == 0xFF); // Should be unchanged

    // Test byte conversion
    u8  bytes[8] = {0};
    u64 written  = BitVecToBytes(&bv, bytes, 8);
    result       = result && (written == test_cases[i].byte_count);

    // Test byte conversion
    u8  large_bytes[125]; // 1000 bits = 125 bytes
    u64 written = BitVecToBytes(&large_bv, large_bytes, 125);
    result      = result && (written == 125);

    // Test with insufficient buffer size
    u8  small_buffer[1];
    u64 written = BitVecToBytes(&bv, small_buffer, 0); // 0 buffer size
    (void)written;                                     // Suppress unused variable warning