void

  • Type
  • August 22, 2025
Table of Contents

void

Description

Type-specific write callback signature

Usage example (Cross-references)

    ///
    /// TAGS: Memory, Deallocation, Safety
    #define FREE(x) ((x) ? free((void *)(x)) : (void)1, (x) = NULL)
    
    ///
    /// TAGS: System, Process
    ///
    SysProcessId SysGetCurrentProcessId(void);
    
    ///
    /// TAGS: System, Threading, Synchronization
    ///
    SysMutex *SysMutexCreate(void);
    
    ///
    /// TAGS: System, Threading, Memory
    ///
    void SysMutexDestroy(SysMutex *m);
    
    ///
    /// TAGS: System, Process, Memory
    ///
    void SysDestroyProcess(SysProcInfo *proc_info);
    
    ///
    /// This allows custom handling of abort situations (e.g., for testing).
    ///
    typedef void (*SysAbortCallback)(void);
    
    ///
    /// TAGS: System, Testing, Callback
    ///
    void SysSetAbortCallback(SysAbortCallback callback);
    
    ///
    /// TAGS: System, Testing, Control
    ///
    void SysAbort(void);
    
    #endif // MISRA_SYS_H
    do {                                                                                                               \
    bool ___is_first___ = true;                                                                                    \
    (void)___is_first___;                                                                                          \
    StrPushBack(&(j), '{');                                                                                        \
    {writer};                                                                                                      \
    do {                                                                                                               \
    bool ___is_first___ = true;                                                                                    \
    (void)___is_first___;                                                                                          \
    StrPushBack(&(j), '[');                                                                                        \
    VecForeach(&(arr), item, {                                                                                     \
    /// TAGS: I/O, Generic, Container
    ///
    typedef const char *(*TypeSpecificReader)(const char *i, FmtInfo *fmt_info, void *data);
    
    ///
    TypeSpecificWriter writer;
    TypeSpecificReader reader;
    void              *data;
    } TypeSpecificIO;
    #endif
    
    static inline TypeSpecificIO TO_TYPE_SPECIFIC_IO_IMPL(TypeSpecificWriter w, TypeSpecificReader r, void *d) {
    return (TypeSpecificIO) {.writer = w, .reader = r, .data = d};
    }
    _Generic(                                                                                                      \
    (x),                                                                                                       \
    Str: TO_TYPE_SPECIFIC_IO(Str, (void *)&(x)),                                                               \
    BitVec: TO_TYPE_SPECIFIC_IO(BitVec, (void *)&(x)),                                                         \
    const char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                     \
    (x),                                                                                                       \
    Str: TO_TYPE_SPECIFIC_IO(Str, (void *)&(x)),                                                               \
    BitVec: TO_TYPE_SPECIFIC_IO(BitVec, (void *)&(x)),                                                         \
    const char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                     \
    char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                           \
    Str: TO_TYPE_SPECIFIC_IO(Str, (void *)&(x)),                                                               \
    BitVec: TO_TYPE_SPECIFIC_IO(BitVec, (void *)&(x)),                                                         \
    const char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                     \
    char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                           \
    u8: TO_TYPE_SPECIFIC_IO(u8, (void *)&(x)),                                                                 \
    BitVec: TO_TYPE_SPECIFIC_IO(BitVec, (void *)&(x)),                                                         \
    const char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                     \
    char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                           \
    u8: TO_TYPE_SPECIFIC_IO(u8, (void *)&(x)),                                                                 \
    u16: TO_TYPE_SPECIFIC_IO(u16, (void *)&(x)),                                                               \
    const char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                     \
    char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                           \
    u8: TO_TYPE_SPECIFIC_IO(u8, (void *)&(x)),                                                                 \
    u16: TO_TYPE_SPECIFIC_IO(u16, (void *)&(x)),                                                               \
    u32: TO_TYPE_SPECIFIC_IO(u32, (void *)&(x)),                                                               \
    char *: TO_TYPE_SPECIFIC_IO(Zstr, (void *)&(x)),                                                           \
    u8: TO_TYPE_SPECIFIC_IO(u8, (void *)&(x)),                                                                 \
    u16: TO_TYPE_SPECIFIC_IO(u16, (void *)&(x)),                                                               \
    u32: TO_TYPE_SPECIFIC_IO(u32, (void *)&(x)),                                                               \
    u64: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                               \
    u8: TO_TYPE_SPECIFIC_IO(u8, (void *)&(x)),                                                                 \
    u16: TO_TYPE_SPECIFIC_IO(u16, (void *)&(x)),                                                               \
    u32: TO_TYPE_SPECIFIC_IO(u32, (void *)&(x)),                                                               \
    u64: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                               \
    i8: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                                 \
    u16: TO_TYPE_SPECIFIC_IO(u16, (void *)&(x)),                                                               \
    u32: TO_TYPE_SPECIFIC_IO(u32, (void *)&(x)),                                                               \
    u64: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                               \
    i8: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                                 \
    i16: TO_TYPE_SPECIFIC_IO(i16, (void *)&(x)),                                                               \
    u32: TO_TYPE_SPECIFIC_IO(u32, (void *)&(x)),                                                               \
    u64: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                               \
    i8: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                                 \
    i16: TO_TYPE_SPECIFIC_IO(i16, (void *)&(x)),                                                               \
    i32: TO_TYPE_SPECIFIC_IO(i32, (void *)&(x)),                                                               \
    u64: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                               \
    i8: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                                 \
    i16: TO_TYPE_SPECIFIC_IO(i16, (void *)&(x)),                                                               \
    i32: TO_TYPE_SPECIFIC_IO(i32, (void *)&(x)),                                                               \
    i64: TO_TYPE_SPECIFIC_IO(i64, (void *)&(x)),                                                               \
    i8: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                                 \
    i16: TO_TYPE_SPECIFIC_IO(i16, (void *)&(x)),                                                               \
    i32: TO_TYPE_SPECIFIC_IO(i32, (void *)&(x)),                                                               \
    i64: TO_TYPE_SPECIFIC_IO(i64, (void *)&(x)),                                                               \
    f32: TO_TYPE_SPECIFIC_IO(f32, (void *)&(x)),                                                               \
    i16: TO_TYPE_SPECIFIC_IO(i16, (void *)&(x)),                                                               \
    i32: TO_TYPE_SPECIFIC_IO(i32, (void *)&(x)),                                                               \
    i64: TO_TYPE_SPECIFIC_IO(i64, (void *)&(x)),                                                               \
    f32: TO_TYPE_SPECIFIC_IO(f32, (void *)&(x)),                                                               \
    f64: TO_TYPE_SPECIFIC_IO(f64, (void *)&(x)),                                                               \
    i32: TO_TYPE_SPECIFIC_IO(i32, (void *)&(x)),                                                               \
    i64: TO_TYPE_SPECIFIC_IO(i64, (void *)&(x)),                                                               \
    f32: TO_TYPE_SPECIFIC_IO(f32, (void *)&(x)),                                                               \
    f64: TO_TYPE_SPECIFIC_IO(f64, (void *)&(x)),                                                               \
    char: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                               \
    i64: TO_TYPE_SPECIFIC_IO(i64, (void *)&(x)),                                                               \
    f32: TO_TYPE_SPECIFIC_IO(f32, (void *)&(x)),                                                               \
    f64: TO_TYPE_SPECIFIC_IO(f64, (void *)&(x)),                                                               \
    char: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                               \
    size: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                              \
    f32: TO_TYPE_SPECIFIC_IO(f32, (void *)&(x)),                                                               \
    f64: TO_TYPE_SPECIFIC_IO(f64, (void *)&(x)),                                                               \
    char: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                               \
    size: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                              \
    default: TO_TYPE_SPECIFIC_IO(UnsupportedType, NULL)                                                        \
    f64: TO_TYPE_SPECIFIC_IO(f64, (void *)&(x)),                                                               \
    char: TO_TYPE_SPECIFIC_IO(i8, (void *)&(x)),                                                               \
    size: TO_TYPE_SPECIFIC_IO(u64, (void *)&(x)),                                                              \
    default: TO_TYPE_SPECIFIC_IO(UnsupportedType, NULL)                                                        \
    )
    /// TAGS: Formatting, I/O, File
    ///
    void FReadFmtInternal(FILE *stream, const char *fmtstr, TypeSpecificIO *argv, size argc);
    
    ///
    
    // not for direct use
    void _write_Str(Str *o, FmtInfo *fmt_info, Str *s);
    void _write_u8(Str *o, FmtInfo *fmt_info, u8 *v);
    void _write_u16(Str *o, FmtInfo *fmt_info, u16 *v);
    // not for direct use
    void _write_Str(Str *o, FmtInfo *fmt_info, Str *s);
    void _write_u8(Str *o, FmtInfo *fmt_info, u8 *v);
    void _write_u16(Str *o, FmtInfo *fmt_info, u16 *v);
    void _write_u32(Str *o, FmtInfo *fmt_info, u32 *v);
    void _write_Str(Str *o, FmtInfo *fmt_info, Str *s);
    void _write_u8(Str *o, FmtInfo *fmt_info, u8 *v);
    void _write_u16(Str *o, FmtInfo *fmt_info, u16 *v);
    void _write_u32(Str *o, FmtInfo *fmt_info, u32 *v);
    void _write_u64(Str *o, FmtInfo *fmt_info, u64 *v);
    void _write_u8(Str *o, FmtInfo *fmt_info, u8 *v);
    void _write_u16(Str *o, FmtInfo *fmt_info, u16 *v);
    void _write_u32(Str *o, FmtInfo *fmt_info, u32 *v);
    void _write_u64(Str *o, FmtInfo *fmt_info, u64 *v);
    void _write_i8(Str *o, FmtInfo *fmt_info, i8 *v);
    void _write_u16(Str *o, FmtInfo *fmt_info, u16 *v);
    void _write_u32(Str *o, FmtInfo *fmt_info, u32 *v);
    void _write_u64(Str *o, FmtInfo *fmt_info, u64 *v);
    void _write_i8(Str *o, FmtInfo *fmt_info, i8 *v);
    void _write_i16(Str *o, FmtInfo *fmt_info, i16 *v);
    void _write_u32(Str *o, FmtInfo *fmt_info, u32 *v);
    void _write_u64(Str *o, FmtInfo *fmt_info, u64 *v);
    void _write_i8(Str *o, FmtInfo *fmt_info, i8 *v);
    void _write_i16(Str *o, FmtInfo *fmt_info, i16 *v);
    void _write_i32(Str *o, FmtInfo *fmt_info, i32 *v);
    void _write_u64(Str *o, FmtInfo *fmt_info, u64 *v);
    void _write_i8(Str *o, FmtInfo *fmt_info, i8 *v);
    void _write_i16(Str *o, FmtInfo *fmt_info, i16 *v);
    void _write_i32(Str *o, FmtInfo *fmt_info, i32 *v);
    void _write_i64(Str *o, FmtInfo *fmt_info, i64 *v);
    void _write_i8(Str *o, FmtInfo *fmt_info, i8 *v);
    void _write_i16(Str *o, FmtInfo *fmt_info, i16 *v);
    void _write_i32(Str *o, FmtInfo *fmt_info, i32 *v);
    void _write_i64(Str *o, FmtInfo *fmt_info, i64 *v);
    void _write_Zstr(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_i16(Str *o, FmtInfo *fmt_info, i16 *v);
    void _write_i32(Str *o, FmtInfo *fmt_info, i32 *v);
    void _write_i64(Str *o, FmtInfo *fmt_info, i64 *v);
    void _write_Zstr(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_UnsupportedType(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_i32(Str *o, FmtInfo *fmt_info, i32 *v);
    void _write_i64(Str *o, FmtInfo *fmt_info, i64 *v);
    void _write_Zstr(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_UnsupportedType(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_f32(Str *o, FmtInfo *fmt_info, f32 *v);
    void _write_i64(Str *o, FmtInfo *fmt_info, i64 *v);
    void _write_Zstr(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_UnsupportedType(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_f32(Str *o, FmtInfo *fmt_info, f32 *v);
    void _write_f64(Str *o, FmtInfo *fmt_info, f64 *v);
    void _write_Zstr(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_UnsupportedType(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_f32(Str *o, FmtInfo *fmt_info, f32 *v);
    void _write_f64(Str *o, FmtInfo *fmt_info, f64 *v);
    void _write_BitVec(Str *o, FmtInfo *fmt_info, BitVec *bv);
    void _write_UnsupportedType(Str *o, FmtInfo *fmt_info, const char **s);
    void _write_f32(Str *o, FmtInfo *fmt_info, f32 *v);
    void _write_f64(Str *o, FmtInfo *fmt_info, f64 *v);
    void _write_BitVec(Str *o, FmtInfo *fmt_info, BitVec *bv);
    void _write_f32(Str *o, FmtInfo *fmt_info, f32 *v);
    void _write_f64(Str *o, FmtInfo *fmt_info, f64 *v);
    void _write_BitVec(Str *o, FmtInfo *fmt_info, BitVec *bv);
    
    const char *_read_Str(const char *i, FmtInfo *fmt_info, Str *s);
    
    // Forward declaration to avoid circular includes
    void SysAbort(void);
    
    ///
    ///
    /// TAGS: Logging, Initialization, System
    void LogInit(bool redirect);
    
    ///
    ///
    /// TAGS: Logging, Cleanup, System
    void LogDeinit(void);
    
    ///
    ///
    /// TAGS: Logging, LowLevel, System
    void LogWrite(LogMessageType type, const char *tag, int line, const char *msg);
    
    #endif // MISRA_STD_LOG_H
    ///
    /// TAGS: Memory, Comparison, Safety
    i32 MemCompare(const void* p1, const void* p2, size n);
    
    ///
    ///
    /// TAGS: Memory, Copy, Safety
    void* MemCopy(void* dst, const void* src, size n);
    
    ///
    ///
    /// TAGS: Memory, Move, Safety
    void* MemMove(void* dst, const void* src, size n);
    
    ///
    ///
    /// TAGS: Memory, Set, Safety
    void* MemSet(void* dst, i32 val, size n);
    
    ///
    
    typedef struct GenericIter {
    void *data;
    size  length;
    size  pos;
    } GenericIter;
    
    #define GENERIC_ITER(x) ((GenericIter *)(void *)(x))
    
    ///
    ///
    #define ValidateIter(mi) validate_iter((GenericIter *)mi)
    void validate_iter(GenericIter *mi);
    
    ///
    // from src to dst.
    
    typedef bool (*GenericCopyInit)(void *dst, void *src);
    typedef void (*GenericCopyDeinit)(void *copy);
    typedef i32 (*GenericCompare)(const void *first, const void *second);
    
    typedef bool (*GenericCopyInit)(void *dst, void *src);
    typedef void (*GenericCopyDeinit)(void *copy);
    typedef i32 (*GenericCompare)(const void *first, const void *second);
    typedef u64 (*GenericHash)(const void *data, u32 size);
    typedef bool (*GenericCopyInit)(void *dst, void *src);
    typedef void (*GenericCopyDeinit)(void *copy);
    typedef i32 (*GenericCompare)(const void *first, const void *second);
    typedef u64 (*GenericHash)(const void *data, u32 size);
    typedef void (*GenericCopyDeinit)(void *copy);
    typedef i32 (*GenericCompare)(const void *first, const void *second);
    typedef u64 (*GenericHash)(const void *data, u32 size);
    
    #endif // MISRA_STD_CONTAINER_COMMON_H
    /// FAILURE : No replacement if `match` not found.
    ///
    void StrReplaceZstr(Str* s, const char* match, const char* replacement, size count);
    
    ///
    /// FAILURE : No replacement if `match` not found.
    ///
    void StrReplaceCstr(
    Str*        s,
    const char* match,
    /// FAILURE : No replacement if `match` not found.
    ///
    void StrReplace(Str* s, const Str* match, const Str* replacement, size count);
    
    //
    /// str : Pointer to string to be deinited
    ///
    void StrDeinit(Str* str);
    
    ///
    /// FAILURE: `abort`
    ///
    void ValidateStr(const Str* s);
    
    ///
    /// FAILURE: `abort`
    ///
    void ValidateStrs(const Strs* vs);
    
    /// TAGS: Remove, BitVec, Range, Multiple
    ///
    void BitVecRemoveRange(BitVec *bv, u64 idx, u64 count);
    
    ///
    /// TAGS: BitVec, And, Bitwise, Operation
    ///
    void BitVecAnd(BitVec *result, BitVec *a, BitVec *b);
    
    ///
    /// TAGS: BitVec, Or, Bitwise, Operation
    ///
    void BitVecOr(BitVec *result, BitVec *a, BitVec *b);
    
    ///
    /// TAGS: BitVec, Xor, Bitwise, Operation
    ///
    void BitVecXor(BitVec *result, BitVec *a, BitVec *b);
    
    ///
    /// TAGS: BitVec, Not, Bitwise, Operation
    ///
    void BitVecNot(BitVec *result, BitVec *bv);
    
    ///
    /// TAGS: BitVec, Shift, Left, Operation
    ///
    void BitVecShiftLeft(BitVec *bv, u64 positions);
    
    ///
    /// TAGS: BitVec, Shift, Right, Operation
    ///
    void BitVecShiftRight(BitVec *bv, u64 positions);
    
    ///
    /// TAGS: BitVec, Rotate, Left, Circular
    ///
    void BitVecRotateLeft(BitVec *bv, u64 positions);
    
    ///
    /// TAGS: BitVec, Rotate, Right, Circular
    ///
    void BitVecRotateRight(BitVec *bv, u64 positions);
    
    ///
    /// TAGS: BitVec, Reverse, Order
    ///
    void BitVecReverse(BitVec *bv);
    
    #ifdef __cplusplus
    /// TAGS: Deinit, BitVec, Cleanup, Memory
    ///
    void BitVecDeinit(BitVec *bv);
    
    ///
    /// TAGS: Clear, BitVec, Reset
    ///
    void BitVecClear(BitVec *bv);
    
    ///
    /// TAGS: BitVec, Reserve, Capacity, Memory
    ///
    void BitVecReserve(BitVec *bv, u64 n);
    
    ///
    /// TAGS: BitVec, Resize, Length
    ///
    void BitVecResize(BitVec *bv, u64 n);
    
    #ifdef __cplusplus
    /// TAGS: BitVec, Access, Set, Boolean
    ///
    void BitVecSet(BitVec *bv, u64 idx, bool value);
    
    ///
    /// TAGS: BitVec, Access, Flip, Toggle
    ///
    void BitVecFlip(BitVec *bv, u64 idx);
    
    ///
    /// TAGS: Insert, BitVec, Range, Multiple
    ///
    void BitVecInsertRange(BitVec *bv, u64 idx, u64 count, bool value);
    
    ///
    /// TAGS: Insert, BitVec, Multiple, Copy
    ///
    void BitVecInsertMultiple(BitVec *bv, u64 idx, BitVec *other);
    
    ///
    /// TAGS: Insert, BitVec, Pattern, Byte
    ///
    void BitVecInsertPattern(BitVec *bv, u64 idx, u8 pattern, u64 pattern_bits);
    
    ///
    /// TAGS: BitVec, Push, Append, Insert
    ///
    void BitVecPush(BitVec *bv, bool value);
    
    ///
    /// TAGS: BitVec, Insert, Shift, Single
    ///
    void BitVecInsert(BitVec *bv, u64 idx, bool value);
    
    #ifdef __cplusplus
    /// TAGS: BitVec, Memory, Shrink, Optimize
    ///
    void BitVecShrinkToFit(BitVec *bv);
    
    /// TAGS: BitVec, Memory, Swap, Efficient
    ///
    void BitVecSwap(BitVec *bv1, BitVec *bv2);
    
    ///
    /// FAILURE: `abort`
    ///
    void ValidateBitVec(const BitVec *bv);
    
    #endif // MISRA_STD_CONTAINER_BITVEC_TYPE_H
    if ((ptr) != NULL) {                                                                                           \
    const VEC_DATATYPE(v) __x = *(ptr);                                                                        \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    VEC_DATATYPE(v) *p = (ptr);                                                                                    \
    if ((ptr) != NULL) {                                                                                           \
    const VEC_DATATYPE(v) __x = *(ptr);                                                                        \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    VEC_DATATYPE(v) *p = (ptr);                                                                                    \
    if ((ptr) != NULL) {                                                                                           \
    const VEC_DATATYPE(v) __x = *(ptr);                                                                        \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    VEC_DATATYPE(v) *p = (ptr);                                                                                    \
    if ((ptr) != NULL) {                                                                                           \
    const VEC_DATATYPE(v) __x = *(ptr);                                                                        \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    VEC_DATATYPE(v) *p = (ptr);                                                                                    \
    #endif
    
    void init_vec(
    GenericVec       *vec,
    size              item_size,
    size              alignment
    );
    void deinit_vec(GenericVec *vec, size item_size);
    void clear_vec(GenericVec *vec, size item_size);
    void resize_vec(GenericVec *vec, size item_size, size new_size);
    );
    void deinit_vec(GenericVec *vec, size item_size);
    void clear_vec(GenericVec *vec, size item_size);
    void resize_vec(GenericVec *vec, size item_size, size new_size);
    void reserve_vec(GenericVec *vec, size item_size, size n);
    void deinit_vec(GenericVec *vec, size item_size);
    void clear_vec(GenericVec *vec, size item_size);
    void resize_vec(GenericVec *vec, size item_size, size new_size);
    void reserve_vec(GenericVec *vec, size item_size, size n);
    void reserve_pow2_vec(GenericVec *vec, size item_size, size n);
    void clear_vec(GenericVec *vec, size item_size);
    void resize_vec(GenericVec *vec, size item_size, size new_size);
    void reserve_vec(GenericVec *vec, size item_size, size n);
    void reserve_pow2_vec(GenericVec *vec, size item_size, size n);
    void reduce_space_vec(GenericVec *vec, size item_size);
    void resize_vec(GenericVec *vec, size item_size, size new_size);
    void reserve_vec(GenericVec *vec, size item_size, size n);
    void reserve_pow2_vec(GenericVec *vec, size item_size, size n);
    void reduce_space_vec(GenericVec *vec, size item_size);
    void insert_range_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void reserve_vec(GenericVec *vec, size item_size, size n);
    void reserve_pow2_vec(GenericVec *vec, size item_size, size n);
    void reduce_space_vec(GenericVec *vec, size item_size);
    void insert_range_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void insert_range_fast_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void reserve_pow2_vec(GenericVec *vec, size item_size, size n);
    void reduce_space_vec(GenericVec *vec, size item_size);
    void insert_range_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void insert_range_fast_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void reduce_space_vec(GenericVec *vec, size item_size);
    void insert_range_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void insert_range_fast_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void fast_remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void insert_range_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void insert_range_fast_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void fast_remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void qsort_vec(GenericVec *vec, size item_size, GenericCompare comp);
    void insert_range_fast_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count);
    void remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void fast_remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void qsort_vec(GenericVec *vec, size item_size, GenericCompare comp);
    void swap_vec(GenericVec *vec, size item_size, size idx1, size idx2);
    void remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void fast_remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void qsort_vec(GenericVec *vec, size item_size, GenericCompare comp);
    void swap_vec(GenericVec *vec, size item_size, size idx1, size idx2);
    void reverse_vec(GenericVec *vec, size item_size);
    void fast_remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count);
    void qsort_vec(GenericVec *vec, size item_size, GenericCompare comp);
    void swap_vec(GenericVec *vec, size item_size, size idx1, size idx2);
    void reverse_vec(GenericVec *vec, size item_size);
    void qsort_vec(GenericVec *vec, size item_size, GenericCompare comp);
    void swap_vec(GenericVec *vec, size item_size, size idx1, size idx2);
    void reverse_vec(GenericVec *vec, size item_size);
    
    #ifdef __cplusplus
    }                                                                                                          \
    const VEC_DATATYPE(v) __x = *(varr);                                                                       \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    const VEC_DATATYPE(v) *__tmp__ptr = (varr);                                                                    \
    insert_range_into_vec(GENERIC_VEC(v), (char *)__tmp__ptr, sizeof(VEC_DATATYPE(v)), (idx), (count));            \
    if (!(v)->copy_init) {                                                                                         \
    memset((void *)(varr), 0, (count) * sizeof(*varr));                                                        \
    }                                                                                                              \
    } while (0)
    }                                                                                                          \
    const VEC_DATATYPE(v) __x = *(varr);                                                                       \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    const VEC_DATATYPE(v) *__tmp__ptr = (varr);                                                                    \
    }                                                                                                          \
    const VEC_DATATYPE(v) __x = *(varr);                                                                       \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    const VEC_DATATYPE(v) *__tmp__ptr = (varr);                                                                    \
    insert_range_fast_into_vec(GENERIC_VEC(v), (char *)__tmp__ptr, sizeof(VEC_DATATYPE(v)), (idx), (count));       \
    if (!(v)->copy_init) {                                                                                         \
    memset((void *)(varr), 0, (count) * sizeof(*varr));                                                        \
    }                                                                                                              \
    } while (0)
    }                                                                                                          \
    const VEC_DATATYPE(v) __x = *(varr);                                                                       \
    (void)__x;                                                                                                 \
    }                                                                                                              \
    const VEC_DATATYPE(v) *__tmp__ptr = (varr);                                                                    \
    } GenericVec;
    
    #define GENERIC_VEC(x) ((GenericVec *)(void *)(x))
    
    ///
    ///
    #define ValidateVec(v) validate_vec((const GenericVec *)GENERIC_VEC(v))
    void validate_vec(const GenericVec *v);
    
    #endif // MISRA_STD_CONTAINER_VEC_TYPE_H
    }
    
    unsigned long SysGetCurrentProcessId(void) {
    #ifdef _WIN32
    return (unsigned long)GetCurrentProcessId(); // Windows API
    }
    
    SysMutex* SysMutexCreate(void) {
    SysMutex* m = NEW(SysMutex);
    #ifdef _WIN32
    }
    
    void SysMutexDestroy(SysMutex* m) {
    #ifdef _WIN32
    DeleteCriticalSection(&m->lock);
    }
    
    void SysDestroyProcess(SysProcInfo* proc_info) {
    if (!proc_info) {
    return;
    static SysAbortCallback g_abort_callback = NULL;
    
    void SysSetAbortCallback(SysAbortCallback callback) {
    g_abort_callback = callback;
    }
    }
    
    void SysAbort(void) {
    if (g_abort_callback) {
    g_abort_callback();
    static SysMutex *log_mutex = NULL;
    
    void LogInit(bool redirect) {
    if (redirect) {
    // Get the current time
    
    
    void LogDeinit(void) {
    if (stderror && stderror != stderr) {
    fclose(stderror);
    
    
    void LogWrite(LogMessageType type, const char *tag, int line, const char *msg) {
    if (!msg) {
    return;
    #include <Misra/Std/Log.h>
    
    i32 MemCompare(const void* p1, const void* p2, size n) {
    if (!p1 || !p2) {
    LOG_FATAL("Invalid arguments");
    }
    
    void* MemCopy(void* dst, const void* src, size n) {
    if (!dst || !src) {
    LOG_FATAL("Invalid arguments");
    }
    
    void* MemMove(void* dst, const void* src, size n) {
    if (!dst || !src) {
    LOG_FATAL("Invalid arguments");
    }
    
    void* MemSet(void* dst, i32 val, size n) {
    if (!dst) {
    LOG_FATAL("Invalid arguments");
    #include <math.h>
    
    static void _write_r8(Str* o, FmtInfo* fmt_info, u8* v);
    static void _write_r16(Str* o, FmtInfo* fmt_info, u16* v);
    static void _write_r32(Str* o, FmtInfo* fmt_info, u32* v);
    
    static void _write_r8(Str* o, FmtInfo* fmt_info, u8* v);
    static void _write_r16(Str* o, FmtInfo* fmt_info, u16* v);
    static void _write_r32(Str* o, FmtInfo* fmt_info, u32* v);
    static void _write_r64(Str* o, FmtInfo* fmt_info, u64* v);
    static void _write_r8(Str* o, FmtInfo* fmt_info, u8* v);
    static void _write_r16(Str* o, FmtInfo* fmt_info, u16* v);
    static void _write_r32(Str* o, FmtInfo* fmt_info, u32* v);
    static void _write_r64(Str* o, FmtInfo* fmt_info, u64* v);
    static void _write_r16(Str* o, FmtInfo* fmt_info, u16* v);
    static void _write_r32(Str* o, FmtInfo* fmt_info, u32* v);
    static void _write_r64(Str* o, FmtInfo* fmt_info, u64* v);
    
    static const char* _read_r8(const char* i, FmtInfo* fmt_info, u8* v);
    
    // Helper function to pad string with spaces
    static void PadString(Str* o, size width, Alignment align, size content_len) {
    if (content_len >= width)
    return;
    // deduce the actual field size
    u32 var_width = 0;
    if (write_fn == (void*)_write_u8 || write_fn == (void*)_write_i8) {
    var_width = 1;
    } else if (write_fn == (void*)_write_u16 || write_fn == (void*)_write_i16) {
    if (write_fn == (void*)_write_u8 || write_fn == (void*)_write_i8) {
    var_width = 1;
    } else if (write_fn == (void*)_write_u16 || write_fn == (void*)_write_i16) {
    var_width = 2;
    } else if (write_fn == (void*)_write_u32 || write_fn == (void*)_write_i32 ||
    } else if (write_fn == (void*)_write_u16 || write_fn == (void*)_write_i16) {
    var_width = 2;
    } else if (write_fn == (void*)_write_u32 || write_fn == (void*)_write_i32 ||
    write_fn == (void*)_write_f32) {
    var_width = 4;
    var_width = 2;
    } else if (write_fn == (void*)_write_u32 || write_fn == (void*)_write_i32 ||
    write_fn == (void*)_write_f32) {
    var_width = 4;
    } else if (write_fn == (void*)_write_u64 || write_fn == (void*)_write_i64 ||
    write_fn == (void*)_write_f32) {
    var_width = 4;
    } else if (write_fn == (void*)_write_u64 || write_fn == (void*)_write_i64 ||
    write_fn == (void*)_write_f64) {
    var_width = 8;
    var_width = 4;
    } else if (write_fn == (void*)_write_u64 || write_fn == (void*)_write_i64 ||
    write_fn == (void*)_write_f64) {
    var_width = 8;
    } else {
    // deduce the actual field size
    u32   var_width = 0;
    void* read_fn   = (void*)io->reader;
    if (read_fn == (void*)_read_u8 || read_fn == (void*)_read_i8) {
    var_width = 1;
    u32   var_width = 0;
    void* read_fn   = (void*)io->reader;
    if (read_fn == (void*)_read_u8 || read_fn == (void*)_read_i8) {
    var_width = 1;
    } else if (read_fn == (void*)_read_u16 || read_fn == (void*)_read_i16) {
    if (read_fn == (void*)_read_u8 || read_fn == (void*)_read_i8) {
    var_width = 1;
    } else if (read_fn == (void*)_read_u16 || read_fn == (void*)_read_i16) {
    var_width = 2;
    } else if (read_fn == (void*)_read_u32 || read_fn == (void*)_read_i32 || read_fn == (void*)_read_f32) {
    } else if (read_fn == (void*)_read_u16 || read_fn == (void*)_read_i16) {
    var_width = 2;
    } else if (read_fn == (void*)_read_u32 || read_fn == (void*)_read_i32 || read_fn == (void*)_read_f32) {
    var_width = 4;
    } else if (read_fn == (void*)_read_u64 || read_fn == (void*)_read_i64 || read_fn == (void*)_read_f64) {
    } else if (read_fn == (void*)_read_u32 || read_fn == (void*)_read_i32 || read_fn == (void*)_read_f32) {
    var_width = 4;
    } else if (read_fn == (void*)_read_u64 || read_fn == (void*)_read_i64 || read_fn == (void*)_read_f64) {
    var_width = 8;
    } else {
    #endif
    
    void FReadFmtInternal(FILE* file, const char* fmtstr, TypeSpecificIO* argv, size argc) {
    if (!file || !fmtstr) {
    LOG_FATAL("Invalid arguments");
    // Helper function to write integer values as character sequences in a consistent order
    // regardless of system endianness (big-endian order: most significant byte first)
    static inline void write_int_as_chars(Str* o, FormatFlags flags, u64 value, size num_bytes) {
    if (!o || !num_bytes || num_bytes > 8) {
    LOG_FATAL("Invalid arguments to write_int_as_chars");
    }
    
    static inline void write_char_internal(Str* o, FormatFlags flags, const char* vs, size len) {
    if (!o || !vs || !len) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_Str(Str* o, FmtInfo* fmt_info, Str* s) {
    if (!o || !s || !fmt_info) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_Zstr(Str* o, FmtInfo* fmt_info, const char** s) {
    if (!o || !s || !*s || !fmt_info) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_u64(Str* o, FmtInfo* fmt_info, u64* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_u32(Str* o, FmtInfo* fmt_info, u32* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_u16(Str* o, FmtInfo* fmt_info, u16* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_u8(Str* o, FmtInfo* fmt_info, u8* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_i64(Str* o, FmtInfo* fmt_info, i64* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_i32(Str* o, FmtInfo* fmt_info, i32* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_i16(Str* o, FmtInfo* fmt_info, i16* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_i8(Str* o, FmtInfo* fmt_info, i8* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_f64(Str* o, FmtInfo* fmt_info, f64* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_f32(Str* o, FmtInfo* fmt_info, f32* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    
    const char* _read_Zstr(const char* i, FmtInfo* fmt_info, const char** out) {
    (void)fmt_info; // Unused parameter
    if (!i || !out)
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_BitVec(Str* o, FmtInfo* fmt_info, BitVec* bv) {
    if (!o || !fmt_info || !bv) {
    LOG_FATAL("Invalid arguments");
    }
    
    void _write_UnsupportedType(Str* o, FmtInfo* fmt_info, const char** s) {
    (void)o;
    (void)fmt_info;
    
    void _write_UnsupportedType(Str* o, FmtInfo* fmt_info, const char** s) {
    (void)o;
    (void)fmt_info;
    (void)s;
    void _write_UnsupportedType(Str* o, FmtInfo* fmt_info, const char** s) {
    (void)o;
    (void)fmt_info;
    (void)s;
    LOG_FATAL("Attempt to write unsupported type");
    (void)o;
    (void)fmt_info;
    (void)s;
    LOG_FATAL("Attempt to write unsupported type");
    }
    
    const char* _read_BitVec(const char* i, FmtInfo* fmt_info, BitVec* bv) {
    (void)fmt_info; // Unused parameter
    if (!i || !bv) {
    LOG_FATAL("Invalid arguments");
    
    const char* _read_UnsupportedType(const char* i, FmtInfo* fmt_info, const char** s) {
    (void)fmt_info; // Unused parameter
    (void)s;
    LOG_FATAL("Attempt to read unsupported type.");
    const char* _read_UnsupportedType(const char* i, FmtInfo* fmt_info, const char** s) {
    (void)fmt_info; // Unused parameter
    (void)s;
    LOG_FATAL("Attempt to read unsupported type.");
    return i;
    }
    
    static void _write_r8(Str* o, FmtInfo* fmt_info, u8* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    static void _write_r16(Str* o, FmtInfo* fmt_info, u16* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    static void _write_r32(Str* o, FmtInfo* fmt_info, u32* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    
    
    static void _write_r64(Str* o, FmtInfo* fmt_info, u64* v) {
    if (!o || !fmt_info || !v) {
    LOG_FATAL("Invalid arguments");
    }
    
    void validate_iter(GenericIter *i) {
    if (((i)->dir != -1 && (i)->dir != 1) || !(i)->alignment || !(i)->length || (i)->pos >= (i)->length) {
    LOG_FATAL("Invalid iter object.");
    LOG_FATAL("Invalid iter object.");
    }
    (void)(*(char *)(void *)((i)->data));
    }
    #define BYTES_FOR_BITS(bits) (((bits) + BITS_PER_BYTE - 1) / BITS_PER_BYTE)
    
    void BitVecDeinit(BitVec *bitvec) {
    ValidateBitVec(bitvec);
    if (bitvec->data) {
    }
    
    void BitVecClear(BitVec *bitvec) {
    ValidateBitVec(bitvec);
    bitvec->length = 0;
    }
    
    void BitVecResize(BitVec *bitvec, u64 new_size) {
    ValidateBitVec(bitvec);
    if (new_size > bitvec->capacity) {
    }
    
    void BitVecReserve(BitVec *bitvec, u64 n) {
    ValidateBitVec(bitvec);
    if (n <= bitvec->capacity)
    }
    
    void BitVecShrinkToFit(BitVec *bv) {
    ValidateBitVec(bv);
    if (bv->length == 0) {
    
    
    void BitVecSwap(BitVec *bv1, BitVec *bv2) {
    ValidateBitVec(bv1);
    ValidateBitVec(bv2);
    }
    
    void BitVecSet(BitVec *bitvec, u64 idx, bool value) {
    ValidateBitVec(bitvec);
    if (idx >= bitvec->length) {
    }
    
    void BitVecFlip(BitVec *bitvec, u64 idx) {
    ValidateBitVec(bitvec);
    if (idx >= bitvec->length) {
    }
    
    void BitVecPush(BitVec *bitvec, bool value) {
    ValidateBitVec(bitvec);
    if (bitvec->length >= bitvec->capacity) {
    }
    
    void BitVecInsert(BitVec *bitvec, u64 idx, bool value) {
    ValidateBitVec(bitvec);
    if (idx > bitvec->length) {
    }
    
    void BitVecInsertRange(BitVec *bv, u64 idx, u64 count, bool value) {
    ValidateBitVec(bv);
    if (idx > bv->length) {
    }
    
    void BitVecInsertMultiple(BitVec *bv, u64 idx, BitVec *other) {
    ValidateBitVec(bv);
    ValidateBitVec(other);
    }
    
    void BitVecInsertPattern(BitVec *bv, u64 idx, u8 pattern, u64 pattern_bits) {
    ValidateBitVec(bv);
    if (idx > bv->length) {
    }
    
    void BitVecRemoveRange(BitVec *bv, u64 idx, u64 count) {
    ValidateBitVec(bv);
    if (idx >= bv->length) {
    }
    
    void BitVecAnd(BitVec *result, BitVec *a, BitVec *b) {
    ValidateBitVec(result);
    ValidateBitVec(a);
    }
    
    void BitVecOr(BitVec *result, BitVec *a, BitVec *b) {
    ValidateBitVec(result);
    ValidateBitVec(a);
    }
    
    void BitVecXor(BitVec *result, BitVec *a, BitVec *b) {
    ValidateBitVec(result);
    ValidateBitVec(a);
    }
    
    void BitVecNot(BitVec *result, BitVec *bitvec) {
    ValidateBitVec(result);
    ValidateBitVec(bitvec);
    
    // Shift operations
    void BitVecShiftLeft(BitVec *bv, u64 positions) {
    ValidateBitVec(bv);
    if (positions == 0 || bv->length == 0) {
    }
    
    void BitVecShiftRight(BitVec *bv, u64 positions) {
    ValidateBitVec(bv);
    if (positions == 0 || bv->length == 0) {
    }
    
    void BitVecRotateLeft(BitVec *bv, u64 positions) {
    ValidateBitVec(bv);
    if (positions == 0 || bv->length == 0) {
    }
    
    void BitVecRotateRight(BitVec *bv, u64 positions) {
    ValidateBitVec(bv);
    if (positions == 0 || bv->length == 0) {
    }
    
    void BitVecReverse(BitVec *bv) {
    ValidateBitVec(bv);
    if (bv->length <= 1) {
    }
    
    void ValidateBitVec(const BitVec *bv) {
    if (!(bv)) {
    LOG_FATAL("Invalid bitvec object: NULL.");
    }
    if ((bv)->data) {
    (void)((bv)->data[0]);
    }
    }
    }
    
    void deinit_vec(GenericVec *vec, size item_size) {
    ValidateVec(vec);
    
    
    void clear_vec(GenericVec *vec, size item_size) {
    ValidateVec(vec);
    
    // Reserve new space if n > capacity
    void reserve_vec(GenericVec *vec, size item_size, size n) {
    ValidateVec(vec);
    
    
    void reserve_pow2_vec(GenericVec *vec, size item_size, size n) {
    ValidateVec(vec);
    
    
    void reduce_space_vec(GenericVec *vec, size item_size) {
    ValidateVec(vec);
    
    
    void insert_range_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count) {
    ValidateVec(vec);
    }
    
    void insert_range_fast_into_vec(GenericVec *vec, char *item_data, size item_size, size idx, size count) {
    ValidateVec(vec);
    
    
    void remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count) {
    ValidateVec(vec);
    
    
    void fast_remove_range_vec(GenericVec *vec, void *removed_data, size item_size, size start, size count) {
    ValidateVec(vec);
    
    
    void qsort_vec(GenericVec *vec, size item_size, GenericCompare comp) {
    ValidateVec(vec);
    
    
    void swap_vec(GenericVec *vec, size item_size, size idx1, size idx2) {
    ValidateVec(vec);
    
    
    void reverse_vec(GenericVec *vec, size item_size) {
    ValidateVec(vec);
    }
    
    void resize_vec(GenericVec *vec, size item_size, size new_size) {
    ValidateVec(vec);
    }
    
    void validate_vec(const GenericVec *v) {
    if (!(v)) {
    LOG_FATAL("NULL vec object pointer.");
    // if memory is invalid, system will segfault here
    if ((v)->data) {
    (void)(*(char *)(void *)((v)->data));
    }
    }
    }
    
    void StrDeinit(Str* copy) {
    ValidateStr(copy);
    if (copy->data) {
    
    // Helper: replace in-place all `match` → `replacement` up to `count`
    static void
    str_replace(Str* s, const char* match, size match_len, const char* replacement, size replacement_len, size count) {
    ValidateStr(s);
    }
    
    void StrReplaceZstr(Str* s, const char* match, const char* replacement, size count) {
    ValidateStr(s);
    str_replace(s, match, ZstrLen(match), replacement, ZstrLen(replacement), count);
    }
    
    void StrReplaceCstr(
    Str*        s,
    const char* match,
    }
    
    void StrReplace(Str* s, const Str* match, const Str* replacement, size count) {
    ValidateStr(s);
    str_replace(s, match->data, match->length, replacement->data, replacement->length, count);
    }
    
    void ValidateStr(const Str* s) {
    return ValidateVec(s);
    }
    }
    
    void ValidateStrs(const Strs* vs) {
    VecForeachPtr(vs, sp, { ValidateStr(sp); });
    }
    } Project;
    
    void ProjectDeinit(Project* p) {
    if (!p) {
    LOG_ERROR("Invalid project object. Invalid arguments");
    #include <Misra.h>
    
    int main(void) {
    Str file = StrInit();
    if (ReadCompleteFile("Bin/Demangler/CppNameManglingGrammar", &file.data, &file.length, &file.capacity)) {
    
    // Cleanup functions
    void PersonDeinit(Person* person) {
    StrDeinit(&person->name);
    }
    }
    
    void ConfigDeinit(Config* config) {
    StrDeinit(&config->log_level);
    }
    }
    
    void SimpleProductDeinit(SimpleProduct* product) {
    StrDeinit(&product->name);
    VecDeinit(&product->tags);
    
    // Function prototypes
    bool test_simple_string_writing(void);
    bool test_simple_numbers_writing(void);
    bool test_simple_boolean_writing(void);
    // Function prototypes
    bool test_simple_string_writing(void);
    bool test_simple_numbers_writing(void);
    bool test_simple_boolean_writing(void);
    bool test_simple_person_object_writing(void);
    bool test_simple_string_writing(void);
    bool test_simple_numbers_writing(void);
    bool test_simple_boolean_writing(void);
    bool test_simple_person_object_writing(void);
    bool test_simple_config_object_writing(void);
    bool test_simple_numbers_writing(void);
    bool test_simple_boolean_writing(void);
    bool test_simple_person_object_writing(void);
    bool test_simple_config_object_writing(void);
    bool test_simple_array_of_strings_writing(void);
    bool test_simple_boolean_writing(void);
    bool test_simple_person_object_writing(void);
    bool test_simple_config_object_writing(void);
    bool test_simple_array_of_strings_writing(void);
    bool test_simple_nested_object_writing(void);
    bool test_simple_person_object_writing(void);
    bool test_simple_config_object_writing(void);
    bool test_simple_array_of_strings_writing(void);
    bool test_simple_nested_object_writing(void);
    bool test_simple_product_with_tags_writing(void);
    bool test_simple_config_object_writing(void);
    bool test_simple_array_of_strings_writing(void);
    bool test_simple_nested_object_writing(void);
    bool test_simple_product_with_tags_writing(void);
    bool test_simple_array_of_strings_writing(void);
    bool test_simple_nested_object_writing(void);
    bool test_simple_product_with_tags_writing(void);
    
    // Helper function to compare expected JSON strings (removes spaces for comparison)
    
    // Test 1: Simple string writing
    bool test_simple_string_writing(void) {
    printf("Testing simple string writing\n");
    
    // Test 2: Simple number writing
    bool test_simple_numbers_writing(void) {
    printf("Testing simple number writing\n");
    
    // Test 3: Simple boolean writing
    bool test_simple_boolean_writing(void) {
    printf("Testing simple boolean writing\n");
    
    // Test 4: Simple person object writing
    bool test_simple_person_object_writing(void) {
    printf("Testing simple person object writing\n");
    
    // Test 5: Simple config object writing
    bool test_simple_config_object_writing(void) {
    printf("Testing simple config object writing\n");
    
    // Test 6: Simple array of strings writing
    bool test_simple_array_of_strings_writing(void) {
    printf("Testing simple array of strings writing\n");
    
    // Test 7: Simple nested object writing
    bool test_simple_nested_object_writing(void) {
    printf("Testing simple nested object writing\n");
    
    // Test 8: Simple product with tags array writing
    bool test_simple_product_with_tags_writing(void) {
    printf("Testing simple product with tags array writing\n");
    
    // Cleanup functions
    void PersonDeinit(Person* person) {
    StrDeinit(&person->name);
    }
    }
    
    void ConfigDeinit(Config* config) {
    StrDeinit(&config->log_level);
    }
    }
    
    void SimpleProductDeinit(SimpleProduct* product) {
    StrDeinit(&product->name);
    VecDeinit(&product->tags);
    
    // Function prototypes
    bool test_simple_string_parsing(void);
    bool test_simple_numbers(void);
    bool test_simple_boolean(void);
    // Function prototypes
    bool test_simple_string_parsing(void);
    bool test_simple_numbers(void);
    bool test_simple_boolean(void);
    bool test_simple_person_object(void);
    bool test_simple_string_parsing(void);
    bool test_simple_numbers(void);
    bool test_simple_boolean(void);
    bool test_simple_person_object(void);
    bool test_simple_config_object(void);
    bool test_simple_numbers(void);
    bool test_simple_boolean(void);
    bool test_simple_person_object(void);
    bool test_simple_config_object(void);
    bool test_simple_array_of_strings(void);
    bool test_simple_boolean(void);
    bool test_simple_person_object(void);
    bool test_simple_config_object(void);
    bool test_simple_array_of_strings(void);
    bool test_simple_nested_object(void);
    bool test_simple_person_object(void);
    bool test_simple_config_object(void);
    bool test_simple_array_of_strings(void);
    bool test_simple_nested_object(void);
    bool test_simple_product_with_tags(void);
    bool test_simple_config_object(void);
    bool test_simple_array_of_strings(void);
    bool test_simple_nested_object(void);
    bool test_simple_product_with_tags(void);
    bool test_simple_array_of_strings(void);
    bool test_simple_nested_object(void);
    bool test_simple_product_with_tags(void);
    
    // Test 1: Simple string parsing
    
    // Test 1: Simple string parsing
    bool test_simple_string_parsing(void) {
    printf("Testing simple string parsing\n");
    
    // Test 2: Simple number parsing
    bool test_simple_numbers(void) {
    printf("Testing simple number parsing\n");
    
    // Test 3: Simple boolean parsing
    bool test_simple_boolean(void) {
    printf("Testing simple boolean parsing\n");
    
    // Test 4: Simple person object
    bool test_simple_person_object(void) {
    printf("Testing simple person object\n");
    
    // Test 5: Simple config object
    bool test_simple_config_object(void) {
    printf("Testing simple config object\n");
    
    // Test 6: Simple array of strings
    bool test_simple_array_of_strings(void) {
    printf("Testing simple array of strings\n");
    
    // Test 7: Simple nested object (1 level)
    bool test_simple_nested_object(void) {
    printf("Testing simple nested object\n");
    
    // Test 8: Simple product with tags array
    bool test_simple_product_with_tags(void) {
    printf("Testing simple product with tags array\n");
    
    // Function prototypes
    bool test_empty_object_writing(void);
    bool test_empty_array_writing(void);
    bool test_empty_string_writing(void);
    // Function prototypes
    bool test_empty_object_writing(void);
    bool test_empty_array_writing(void);
    bool test_empty_string_writing(void);
    bool test_negative_numbers_writing(void);
    bool test_empty_object_writing(void);
    bool test_empty_array_writing(void);
    bool test_empty_string_writing(void);
    bool test_negative_numbers_writing(void);
    bool test_large_numbers_writing(void);
    bool test_empty_array_writing(void);
    bool test_empty_string_writing(void);
    bool test_negative_numbers_writing(void);
    bool test_large_numbers_writing(void);
    bool test_zero_values_writing(void);
    bool test_empty_string_writing(void);
    bool test_negative_numbers_writing(void);
    bool test_large_numbers_writing(void);
    bool test_zero_values_writing(void);
    bool test_special_characters_writing(void);
    bool test_negative_numbers_writing(void);
    bool test_large_numbers_writing(void);
    bool test_zero_values_writing(void);
    bool test_special_characters_writing(void);
    bool test_escape_sequences_writing(void);
    bool test_large_numbers_writing(void);
    bool test_zero_values_writing(void);
    bool test_special_characters_writing(void);
    bool test_escape_sequences_writing(void);
    bool test_nested_empty_containers_writing(void);
    bool test_zero_values_writing(void);
    bool test_special_characters_writing(void);
    bool test_escape_sequences_writing(void);
    bool test_nested_empty_containers_writing(void);
    bool test_mixed_empty_and_filled_writing(void);
    bool test_special_characters_writing(void);
    bool test_escape_sequences_writing(void);
    bool test_nested_empty_containers_writing(void);
    bool test_mixed_empty_and_filled_writing(void);
    bool test_boundary_integers_writing(void);
    bool test_escape_sequences_writing(void);
    bool test_nested_empty_containers_writing(void);
    bool test_mixed_empty_and_filled_writing(void);
    bool test_boundary_integers_writing(void);
    bool test_boundary_floats_writing(void);
    bool test_nested_empty_containers_writing(void);
    bool test_mixed_empty_and_filled_writing(void);
    bool test_boundary_integers_writing(void);
    bool test_boundary_floats_writing(void);
    bool test_single_values_writing(void);
    bool test_mixed_empty_and_filled_writing(void);
    bool test_boundary_integers_writing(void);
    bool test_boundary_floats_writing(void);
    bool test_single_values_writing(void);
    bool test_boundary_integers_writing(void);
    bool test_boundary_floats_writing(void);
    bool test_single_values_writing(void);
    
    // Test 1: Empty object writing
    
    // Test 1: Empty object writing
    bool test_empty_object_writing(void) {
    printf("Testing empty object writing\n");
    
    // Test 2: Empty array writing
    bool test_empty_array_writing(void) {
    printf("Testing empty array writing\n");
    
    // Test 3: Empty string writing
    bool test_empty_string_writing(void) {
    printf("Testing empty string writing\n");
    
    // Test 4: Negative numbers writing
    bool test_negative_numbers_writing(void) {
    printf("Testing negative numbers writing\n");
    
    // Test 5: Large numbers writing
    bool test_large_numbers_writing(void) {
    printf("Testing large numbers writing\n");
    
    // Test 6: Zero values writing
    bool test_zero_values_writing(void) {
    printf("Testing zero values writing\n");
    
    // Test 7: Special characters writing
    bool test_special_characters_writing(void) {
    printf("Testing special characters writing\n");
    
    // Test 8: Escape sequences writing
    bool test_escape_sequences_writing(void) {
    printf("Testing escape sequences writing\n");
    
    // Test 9: Nested empty containers writing
    bool test_nested_empty_containers_writing(void) {
    printf("Testing nested empty containers writing\n");
    
    // Test 10: Mixed empty and filled containers writing
    bool test_mixed_empty_and_filled_writing(void) {
    printf("Testing mixed empty and filled containers writing\n");
    
    // Test 11: Boundary integers writing
    bool test_boundary_integers_writing(void) {
    printf("Testing boundary integers writing\n");
    
    // Test 12: Boundary floats writing
    bool test_boundary_floats_writing(void) {
    printf("Testing boundary floats writing\n");
    
    // Test 13: Single values writing (minimal valid JSON objects)
    bool test_single_values_writing(void) {
    printf("Testing single values writing\n");
    } EdgeCaseData;
    
    void EdgeCaseDataDeinit(EdgeCaseData* data) {
    StrDeinit(&data->empty_string);
    VecDeinit(&data->empty_array);
    
    // Function prototypes
    bool test_empty_object_reading(void);
    bool test_empty_array_reading(void);
    bool test_empty_string_reading(void);
    // Function prototypes
    bool test_empty_object_reading(void);
    bool test_empty_array_reading(void);
    bool test_empty_string_reading(void);
    bool test_negative_numbers_reading(void);
    bool test_empty_object_reading(void);
    bool test_empty_array_reading(void);
    bool test_empty_string_reading(void);
    bool test_negative_numbers_reading(void);
    bool test_large_numbers_reading(void);
    bool test_empty_array_reading(void);
    bool test_empty_string_reading(void);
    bool test_negative_numbers_reading(void);
    bool test_large_numbers_reading(void);
    bool test_zero_values_reading(void);
    bool test_empty_string_reading(void);
    bool test_negative_numbers_reading(void);
    bool test_large_numbers_reading(void);
    bool test_zero_values_reading(void);
    bool test_special_characters_in_strings(void);
    bool test_negative_numbers_reading(void);
    bool test_large_numbers_reading(void);
    bool test_zero_values_reading(void);
    bool test_special_characters_in_strings(void);
    bool test_escape_sequences_reading(void);
    bool test_large_numbers_reading(void);
    bool test_zero_values_reading(void);
    bool test_special_characters_in_strings(void);
    bool test_escape_sequences_reading(void);
    bool test_whitespace_variations_reading(void);
    bool test_zero_values_reading(void);
    bool test_special_characters_in_strings(void);
    bool test_escape_sequences_reading(void);
    bool test_whitespace_variations_reading(void);
    bool test_nested_empty_containers(void);
    bool test_special_characters_in_strings(void);
    bool test_escape_sequences_reading(void);
    bool test_whitespace_variations_reading(void);
    bool test_nested_empty_containers(void);
    bool test_mixed_empty_and_filled(void);
    bool test_escape_sequences_reading(void);
    bool test_whitespace_variations_reading(void);
    bool test_nested_empty_containers(void);
    bool test_mixed_empty_and_filled(void);
    bool test_boundary_integers(void);
    bool test_whitespace_variations_reading(void);
    bool test_nested_empty_containers(void);
    bool test_mixed_empty_and_filled(void);
    bool test_boundary_integers(void);
    bool test_boundary_floats(void);
    bool test_nested_empty_containers(void);
    bool test_mixed_empty_and_filled(void);
    bool test_boundary_integers(void);
    bool test_boundary_floats(void);
    bool test_mixed_empty_and_filled(void);
    bool test_boundary_integers(void);
    bool test_boundary_floats(void);
    
    // Test 1: Empty object reading
    
    // Test 1: Empty object reading
    bool test_empty_object_reading(void) {
    printf("Testing empty object reading\n");
    
    // Test 2: Empty array reading
    bool test_empty_array_reading(void) {
    printf("Testing empty array reading\n");
    
    // Test 3: Empty string reading
    bool test_empty_string_reading(void) {
    printf("Testing empty string reading\n");
    
    // Test 4: Negative numbers reading
    bool test_negative_numbers_reading(void) {
    printf("Testing negative numbers reading\n");
    
    // Test 5: Large numbers reading
    bool test_large_numbers_reading(void) {
    printf("Testing large numbers reading\n");
    
    // Test 6: Zero values reading
    bool test_zero_values_reading(void) {
    printf("Testing zero values reading\n");
    
    // Test 7: Special characters in strings
    bool test_special_characters_in_strings(void) {
    printf("Testing special characters in strings\n");
    
    // Test 8: Escape sequences reading
    bool test_escape_sequences_reading(void) {
    printf("Testing escape sequences reading\n");
    
    // Test 9: Whitespace variations reading
    bool test_whitespace_variations_reading(void) {
    printf("Testing whitespace variations reading\n");
    
    // Test 10: Nested empty containers
    bool test_nested_empty_containers(void) {
    printf("Testing nested empty containers\n");
    
    // Test 11: Mixed empty and filled containers
    bool test_mixed_empty_and_filled(void) {
    printf("Testing mixed empty and filled containers\n");
    
    // Test 12: Boundary integers
    bool test_boundary_integers(void) {
    printf("Testing boundary integers\n");
    
    // Test 13: Boundary floats
    bool test_boundary_floats(void) {
    printf("Testing boundary floats\n");
    
    // Cleanup functions
    void AnnSymbolDeinit(AnnSymbol* sym) {
    StrDeinit(&sym->analysis_name);
    StrDeinit(&sym->function_name);
    }
    
    void FunctionInfoDeinit(FunctionInfo* info) {
    StrDeinit(&info->name);
    }
    }
    
    void SearchResultDeinit(SearchResult* result) {
    StrDeinit(&result->binary_name);
    StrDeinit(&result->sha256);
    
    // Function prototypes
    bool test_two_level_nesting_writing(void);
    bool test_three_level_nesting_writing(void);
    bool test_complex_api_response_writing(void);
    // Function prototypes
    bool test_two_level_nesting_writing(void);
    bool test_three_level_nesting_writing(void);
    bool test_complex_api_response_writing(void);
    bool test_function_info_array_writing(void);
    bool test_two_level_nesting_writing(void);
    bool test_three_level_nesting_writing(void);
    bool test_complex_api_response_writing(void);
    bool test_function_info_array_writing(void);
    bool test_search_results_with_tags_writing(void);
    bool test_three_level_nesting_writing(void);
    bool test_complex_api_response_writing(void);
    bool test_function_info_array_writing(void);
    bool test_search_results_with_tags_writing(void);
    bool test_dynamic_object_keys_writing(void);
    bool test_complex_api_response_writing(void);
    bool test_function_info_array_writing(void);
    bool test_search_results_with_tags_writing(void);
    bool test_dynamic_object_keys_writing(void);
    bool test_deeply_nested_structure_writing(void);
    bool test_function_info_array_writing(void);
    bool test_search_results_with_tags_writing(void);
    bool test_dynamic_object_keys_writing(void);
    bool test_deeply_nested_structure_writing(void);
    bool test_mixed_array_types_writing(void);
    bool test_search_results_with_tags_writing(void);
    bool test_dynamic_object_keys_writing(void);
    bool test_deeply_nested_structure_writing(void);
    bool test_mixed_array_types_writing(void);
    bool test_dynamic_object_keys_writing(void);
    bool test_deeply_nested_structure_writing(void);
    bool test_mixed_array_types_writing(void);
    
    // Test 1: Two-level nesting writing
    
    // Test 1: Two-level nesting writing
    bool test_two_level_nesting_writing(void) {
    printf("Testing two-level nesting writing\n");
    
    // Test 2: Three-level nesting writing
    bool test_three_level_nesting_writing(void) {
    printf("Testing three-level nesting writing\n");
    
    // Test 3: Complex API response writing
    bool test_complex_api_response_writing(void) {
    printf("Testing complex API response writing\n");
    
    // Test 4: Function info array writing
    bool test_function_info_array_writing(void) {
    printf("Testing function info array writing\n");
    
    // Test 5: Search results with tags writing
    bool test_search_results_with_tags_writing(void) {
    printf("Testing search results with tags writing\n");
    
    // Test 6: Dynamic object keys writing
    bool test_dynamic_object_keys_writing(void) {
    printf("Testing dynamic object keys writing\n");
    
    // Test 7: Deeply nested structure writing
    bool test_deeply_nested_structure_writing(void) {
    printf("Testing deeply nested structure writing\n");
    
    // Test 8: Mixed array types writing
    bool test_mixed_array_types_writing(void) {
    printf("Testing mixed array types writing\n");
    
    // Cleanup functions
    void TestPersonDeinit(TestPerson* person) {
    StrDeinit(&person->name);
    }
    }
    
    void TestConfigDeinit(TestConfig* config) {
    StrDeinit(&config->log_level);
    VecDeinit(&config->features);
    }
    
    void ComplexDataDeinit(ComplexData* data) {
    TestPersonDeinit(&data->user);
    TestConfigDeinit(&data->config);
    
    // Function prototypes
    bool test_simple_roundtrip(void);
    bool test_numeric_roundtrip(void);
    bool test_boolean_roundtrip(void);
    // Function prototypes
    bool test_simple_roundtrip(void);
    bool test_numeric_roundtrip(void);
    bool test_boolean_roundtrip(void);
    bool test_string_roundtrip(void);
    bool test_simple_roundtrip(void);
    bool test_numeric_roundtrip(void);
    bool test_boolean_roundtrip(void);
    bool test_string_roundtrip(void);
    bool test_array_roundtrip(void);
    bool test_numeric_roundtrip(void);
    bool test_boolean_roundtrip(void);
    bool test_string_roundtrip(void);
    bool test_array_roundtrip(void);
    bool test_nested_object_roundtrip(void);
    bool test_boolean_roundtrip(void);
    bool test_string_roundtrip(void);
    bool test_array_roundtrip(void);
    bool test_nested_object_roundtrip(void);
    bool test_complex_data_roundtrip(void);
    bool test_string_roundtrip(void);
    bool test_array_roundtrip(void);
    bool test_nested_object_roundtrip(void);
    bool test_complex_data_roundtrip(void);
    bool test_empty_containers_roundtrip(void);
    bool test_array_roundtrip(void);
    bool test_nested_object_roundtrip(void);
    bool test_complex_data_roundtrip(void);
    bool test_empty_containers_roundtrip(void);
    bool test_edge_cases_roundtrip(void);
    bool test_nested_object_roundtrip(void);
    bool test_complex_data_roundtrip(void);
    bool test_empty_containers_roundtrip(void);
    bool test_edge_cases_roundtrip(void);
    bool test_complex_data_roundtrip(void);
    bool test_empty_containers_roundtrip(void);
    bool test_edge_cases_roundtrip(void);
    
    // Helper function to compare persons
    
    // Test 1: Simple value round-trip
    bool test_simple_roundtrip(void) {
    printf("Testing simple value round-trip\n");
    
    // Test 2: Numeric precision round-trip
    bool test_numeric_roundtrip(void) {
    printf("Testing numeric precision round-trip\n");
    
    // Test 3: Boolean round-trip
    bool test_boolean_roundtrip(void) {
    printf("Testing boolean round-trip\n");
    
    // Test 4: String round-trip
    bool test_string_roundtrip(void) {
    printf("Testing string round-trip\n");
    
    // Test 5: Array round-trip
    bool test_array_roundtrip(void) {
    printf("Testing array round-trip\n");
    
    // Test 6: Nested object round-trip
    bool test_nested_object_roundtrip(void) {
    printf("Testing nested object round-trip\n");
    
    // Test 7: Complex data round-trip
    bool test_complex_data_roundtrip(void) {
    printf("Testing complex data round-trip\n");
    
    // Test 8: Empty containers round-trip
    bool test_empty_containers_roundtrip(void) {
    printf("Testing empty containers round-trip\n");
    
    // Test 9: Edge cases round-trip
    bool test_edge_cases_roundtrip(void) {
    printf("Testing edge cases round-trip\n");
    } ApiResponse;
    
    void AnnSymbolDeinit(AnnSymbol* sym) {
    StrDeinit(&sym->analysis_name);
    StrDeinit(&sym->function_name);
    typedef Vec(SearchResult) SearchResults;
    
    void FunctionInfoDeinit(FunctionInfo* info) {
    StrDeinit(&info->name);
    }
    }
    
    void ModelInfoDeinit(ModelInfo* info) {
    StrDeinit(&info->name);
    }
    }
    
    void SearchResultDeinit(SearchResult* result) {
    StrDeinit(&result->binary_name);
    StrDeinit(&result->sha256);
    
    // Function prototypes
    bool test_basic_iterator_functionality(void);
    bool test_simple_json_object(void);
    bool test_two_level_nesting(void);
    // Function prototypes
    bool test_basic_iterator_functionality(void);
    bool test_simple_json_object(void);
    bool test_two_level_nesting(void);
    bool test_three_level_nesting(void);
    bool test_basic_iterator_functionality(void);
    bool test_simple_json_object(void);
    bool test_two_level_nesting(void);
    bool test_three_level_nesting(void);
    bool test_dynamic_key_parsing(void);
    bool test_simple_json_object(void);
    bool test_two_level_nesting(void);
    bool test_three_level_nesting(void);
    bool test_dynamic_key_parsing(void);
    bool test_complex_api_response(void);
    bool test_two_level_nesting(void);
    bool test_three_level_nesting(void);
    bool test_dynamic_key_parsing(void);
    bool test_complex_api_response(void);
    bool test_function_info_parsing(void);
    bool test_three_level_nesting(void);
    bool test_dynamic_key_parsing(void);
    bool test_complex_api_response(void);
    bool test_function_info_parsing(void);
    bool test_model_info_parsing(void);
    bool test_dynamic_key_parsing(void);
    bool test_complex_api_response(void);
    bool test_function_info_parsing(void);
    bool test_model_info_parsing(void);
    bool test_search_results_with_tags(void);
    bool test_complex_api_response(void);
    bool test_function_info_parsing(void);
    bool test_model_info_parsing(void);
    bool test_search_results_with_tags(void);
    bool test_conditional_parsing(void);
    bool test_function_info_parsing(void);
    bool test_model_info_parsing(void);
    bool test_search_results_with_tags(void);
    bool test_conditional_parsing(void);
    bool test_status_response_pattern(void);
    bool test_model_info_parsing(void);
    bool test_search_results_with_tags(void);
    bool test_conditional_parsing(void);
    bool test_status_response_pattern(void);
    bool test_search_results_with_tags(void);
    bool test_conditional_parsing(void);
    bool test_status_response_pattern(void);
    
    // Test basic iterator functionality
    
    // Test basic iterator functionality
    bool test_basic_iterator_functionality(void) {
    printf("Testing basic iterator functionality\n");
    
    // Test simple JSON object (1 level)
    bool test_simple_json_object(void) {
    printf("Testing simple JSON object (1 level)\n");
    
    // Test two-level nesting
    bool test_two_level_nesting(void) {
    printf("Testing two-level nesting\n");
    
    // Test three-level nesting
    bool test_three_level_nesting(void) {
    printf("Testing three-level nesting\n");
    
    // Test dynamic key parsing (like your example) - Fixed initialization
    bool test_dynamic_key_parsing(void) {
    printf("Testing dynamic key parsing\n");
    
    // Test complex API response similar to your example - Fixed initialization
    bool test_complex_api_response(void) {
    printf("Testing complex API response structure\n");
    
    // Test function info parsing
    bool test_function_info_parsing(void) {
    printf("Testing function info parsing\n");
    
    // Test model info parsing
    bool test_model_info_parsing(void) {
    printf("Testing model info parsing\n");
    
    // Test search results with tags - Fixed implementation
    bool test_search_results_with_tags(void) {
    printf("Testing search results with tags\n");
    
    // Test conditional parsing
    bool test_conditional_parsing(void) {
    printf("Testing conditional parsing\n");
    
    // Test status response pattern
    bool test_status_response_pattern(void) {
    printf("Testing status response pattern\n");
    
    // Function prototypes
    bool test_str_type(void);
    bool test_strs_type(void);
    bool test_validate_str(void);
    // Function prototypes
    bool test_str_type(void);
    bool test_strs_type(void);
    bool test_validate_str(void);
    bool test_validate_strs(void);
    bool test_str_type(void);
    bool test_strs_type(void);
    bool test_validate_str(void);
    bool test_validate_strs(void);
    bool test_strs_type(void);
    bool test_validate_str(void);
    bool test_validate_strs(void);
    
    // Deadend test prototypes (tests that should crash/abort)
    
    // Deadend test prototypes (tests that should crash/abort)
    bool test_validate_invalid_str(void);
    bool test_validate_invalid_strs(void);
    // Deadend test prototypes (tests that should crash/abort)
    bool test_validate_invalid_str(void);
    bool test_validate_invalid_strs(void);
    
    // Test Str type definition
    
    // Test Str type definition
    bool test_str_type(void) {
    printf("Testing Str type definition\n");
    
    // Test Strs type definition
    bool test_strs_type(void) {
    printf("Testing Strs type definition\n");
    
    // Test ValidateStr macro
    bool test_validate_str(void) {
    printf("Testing ValidateStr macro\n");
    
    // Test ValidateStrs macro
    bool test_validate_strs(void) {
    printf("Testing ValidateStrs macro\n");
    
    // Deadend test: Test ValidateStr with invalid string (should crash/abort)
    bool test_validate_invalid_str(void) {
    printf("Testing ValidateStr with invalid string (should abort)\n");
    
    // Deadend test: Test ValidateStrs with invalid Strs (should crash/abort)
    bool test_validate_invalid_strs(void) {
    printf("Testing ValidateStrs with invalid Strs (should abort)\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Type tests\n\n");
    
    // Function prototypes
    bool test_str_from_u64(void);
    bool test_str_from_i64(void);
    bool test_str_from_f64(void);
    // Function prototypes
    bool test_str_from_u64(void);
    bool test_str_from_i64(void);
    bool test_str_from_f64(void);
    bool test_str_to_u64(void);
    bool test_str_from_u64(void);
    bool test_str_from_i64(void);
    bool test_str_from_f64(void);
    bool test_str_to_u64(void);
    bool test_str_to_i64(void);
    bool test_str_from_i64(void);
    bool test_str_from_f64(void);
    bool test_str_to_u64(void);
    bool test_str_to_i64(void);
    bool test_str_to_f64(void);
    bool test_str_from_f64(void);
    bool test_str_to_u64(void);
    bool test_str_to_i64(void);
    bool test_str_to_f64(void);
    bool test_str_round_trip_conversions(void);
    bool test_str_to_u64(void);
    bool test_str_to_i64(void);
    bool test_str_to_f64(void);
    bool test_str_round_trip_conversions(void);
    bool test_str_edge_case_conversions(void);
    bool test_str_to_i64(void);
    bool test_str_to_f64(void);
    bool test_str_round_trip_conversions(void);
    bool test_str_edge_case_conversions(void);
    bool test_str_precision_limits(void);
    bool test_str_to_f64(void);
    bool test_str_round_trip_conversions(void);
    bool test_str_edge_case_conversions(void);
    bool test_str_precision_limits(void);
    bool test_str_all_base_support(void);
    bool test_str_round_trip_conversions(void);
    bool test_str_edge_case_conversions(void);
    bool test_str_precision_limits(void);
    bool test_str_all_base_support(void);
    bool test_str_large_scale_conversions(void);
    bool test_str_edge_case_conversions(void);
    bool test_str_precision_limits(void);
    bool test_str_all_base_support(void);
    bool test_str_large_scale_conversions(void);
    bool test_str_conversion_null_failures(void);
    bool test_str_precision_limits(void);
    bool test_str_all_base_support(void);
    bool test_str_large_scale_conversions(void);
    bool test_str_conversion_null_failures(void);
    bool test_str_conversion_bounds_failures(void);
    bool test_str_all_base_support(void);
    bool test_str_large_scale_conversions(void);
    bool test_str_conversion_null_failures(void);
    bool test_str_conversion_bounds_failures(void);
    bool test_str_conversion_invalid_input_failures(void);
    bool test_str_large_scale_conversions(void);
    bool test_str_conversion_null_failures(void);
    bool test_str_conversion_bounds_failures(void);
    bool test_str_conversion_invalid_input_failures(void);
    bool test_str_conversion_null_failures(void);
    bool test_str_conversion_bounds_failures(void);
    bool test_str_conversion_invalid_input_failures(void);
    
    // Test StrFromU64 function
    
    // Test StrFromU64 function
    bool test_str_from_u64(void) {
    printf("Testing StrFromU64\n");
    
    // Test StrFromI64 function
    bool test_str_from_i64(void) {
    printf("Testing StrFromI64\n");
    
    // Test StrFromF64 function
    bool test_str_from_f64(void) {
    printf("Testing StrFromF64\n");
    
    // Test StrToU64 function
    bool test_str_to_u64(void) {
    printf("Testing StrToU64\n");
    
    // Test StrToI64 function
    bool test_str_to_i64(void) {
    printf("Testing StrToI64\n");
    
    // Test StrToF64 function
    bool test_str_to_f64(void) {
    printf("Testing StrToF64\n");
    
    // Round-trip conversion tests
    bool test_str_round_trip_conversions(void) {
    printf("Testing Str round-trip conversions\n");
    
    // Edge case conversion tests
    bool test_str_edge_case_conversions(void) {
    printf("Testing Str edge case conversions\n");
    
    // Precision limits testing
    bool test_str_precision_limits(void) {
    printf("Testing Str precision limits\n");
    
    // Large-scale conversion tests
    bool test_str_all_base_support(void) {
    printf("Testing Str all bases 2-36 support\n");
    }
    
    bool test_str_large_scale_conversions(void) {
    printf("Testing Str large-scale conversions\n");
    
    // Deadend tests for NULL pointer handling
    bool test_str_conversion_null_failures(void) {
    printf("Testing Str conversion NULL pointer handling\n");
    }
    
    bool test_str_conversion_bounds_failures(void) {
    printf("Testing Str conversion bounds failures\n");
    }
    
    bool test_str_conversion_invalid_input_failures(void) {
    printf("Testing Str conversion invalid input failures\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Convert tests\n\n");
    
    // Function prototypes
    bool test_bitvec_foreach_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    // Function prototypes
    bool test_bitvec_foreach_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_invalid_usage(void);
    
    // BitVecRunLengths test prototypes
    
    // BitVecRunLengths test prototypes
    bool test_bitvec_run_lengths_basic(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    // BitVecRunLengths test prototypes
    bool test_bitvec_run_lengths_basic(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_basic(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    
    
    // Test BitVecForeachIdx macro
    bool test_bitvec_foreach_idx(void) {
    printf("Testing BitVecForeachIdx macro\n");
    
    // Test BitVecForeach macro
    bool test_bitvec_foreach(void) {
    printf("Testing BitVecForeach macro\n");
    
    // Test BitVecForeachReverseIdx macro
    bool test_bitvec_foreach_reverse_idx(void) {
    printf("Testing BitVecForeachReverseIdx macro\n");
    
    // Test BitVecForeachReverse macro
    bool test_bitvec_foreach_reverse(void) {
    printf("Testing BitVecForeachReverse macro\n");
    
    // Test BitVecForeachInRangeIdx macro
    bool test_bitvec_foreach_in_range_idx(void) {
    printf("Testing BitVecForeachInRangeIdx macro\n");
    
    // Test BitVecForeachInRange macro
    bool test_bitvec_foreach_in_range(void) {
    printf("Testing BitVecForeachInRange macro\n");
    
    // Edge case tests
    bool test_bitvec_foreach_edge_cases(void) {
    printf("Testing BitVec foreach edge cases\n");
    // Test foreach on empty bitvec
    BitVecForeach(&bv, bit, {
    (void)bit;
    count++; // Should not execute
    });
    count = 0;
    BitVecForeach(&bv, bit, {
    (void)bit;
    count++;
    });
    }
    
    bool test_bitvec_foreach_idx_edge_cases(void) {
    printf("Testing BitVec foreach idx edge cases\n");
    // Test foreach idx on empty bitvec
    BitVecForeachIdx(&bv, bit, idx, {
    (void)bit;
    result = false; // Should not execute
    });
    u64 expected_idx = 0;
    BitVecForeachIdx(&bv, bit, idx, {
    (void)bit;
    result = result && (idx == expected_idx);
    expected_idx++;
    }
    
    bool test_bitvec_foreach_reverse_edge_cases(void) {
    printf("Testing BitVec foreach reverse edge cases\n");
    // Test reverse foreach on empty bitvec
    BitVecForeachReverse(&bv, bit, {
    (void)bit;
    result = false; // Should not execute
    });
    }
    
    bool test_bitvec_foreach_range_edge_cases(void) {
    printf("Testing BitVec foreach range edge cases\n");
    int count = 0;
    BitVecForeachInRange(&bv, bit, 5, 5, {
    (void)bit;
    count++; // Should not execute
    });
    count = 0;
    BitVecForeachInRange(&bv, bit, 0, 2, {
    (void)bit;
    count++;
    });
    count = 0;
    BitVecForeachInRange(&bv, bit, 8, 10, {
    (void)bit;
    count++;
    });
    }
    
    bool test_bitvec_foreach_stress_test(void) {
    printf("Testing BitVec foreach stress test\n");
    
    BitVecForeach(&bv, bitval, {
    (void)bitval;
    count1++;
    });
    });
    BitVecForeachIdx(&bv, bitval, i, {
    (void)bitval;
    count2++;
    });
    });
    BitVecForeachReverse(&bv, bitval, {
    (void)bitval;
    count3++;
    });
    });
    BitVecForeachReverseIdx(&bv, bitval, i, {
    (void)bitval;
    count4++;
    });
    // BitVecRunLengths test implementations
    
    bool test_bitvec_run_lengths_basic(void) {
    printf("Testing BitVecRunLengths basic functionality\n");
    }
    
    bool test_bitvec_run_lengths_edge_cases(void) {
    printf("Testing BitVecRunLengths edge cases\n");
    }
    
    bool test_bitvec_run_lengths_boundary_conditions(void) {
    printf("Testing BitVecRunLengths boundary conditions\n");
    }
    
    bool test_bitvec_run_lengths_stress_test(void) {
    printf("Testing BitVecRunLengths stress test\n");
    // Deadend tests for BitVecRunLengths
    
    bool test_bitvec_run_lengths_null_bv(void) {
    printf("Testing BitVecRunLengths with NULL bitvector\n");
    }
    
    bool test_bitvec_run_lengths_null_runs(void) {
    printf("Testing BitVecRunLengths with NULL runs array\n");
    }
    
    bool test_bitvec_run_lengths_null_values(void) {
    printf("Testing BitVecRunLengths with NULL values array\n");
    }
    
    bool test_bitvec_run_lengths_zero_max_runs(void) {
    printf("Testing BitVecRunLengths with zero max_runs\n");
    // with invalid macro usage scenarios
    
    bool test_bitvec_foreach_invalid_usage(void) {
    printf("Testing BitVec foreach with invalid bitvec\n");
    int count = 0;
    BitVecForeach(&bv, bit, {
    (void)bit;
    count++;
    });
    
    // Should not reach here
    (void)count; // Silence unused variable warning
    return false;
    }
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Foreach tests\n\n");
    
    // Function prototypes
    bool test_vec_foreach(void);
    bool test_vec_foreach_idx(void);
    bool test_vec_foreach_ptr(void);
    // Function prototypes
    bool test_vec_foreach(void);
    bool test_vec_foreach_idx(void);
    bool test_vec_foreach_ptr(void);
    bool test_vec_foreach_ptr_idx(void);
    bool test_vec_foreach(void);
    bool test_vec_foreach_idx(void);
    bool test_vec_foreach_ptr(void);
    bool test_vec_foreach_ptr_idx(void);
    bool test_vec_foreach_reverse(void);
    bool test_vec_foreach_idx(void);
    bool test_vec_foreach_ptr(void);
    bool test_vec_foreach_ptr_idx(void);
    bool test_vec_foreach_reverse(void);
    bool test_vec_foreach_reverse_idx(void);
    bool test_vec_foreach_ptr(void);
    bool test_vec_foreach_ptr_idx(void);
    bool test_vec_foreach_reverse(void);
    bool test_vec_foreach_reverse_idx(void);
    bool test_vec_foreach_ptr_reverse(void);
    bool test_vec_foreach_ptr_idx(void);
    bool test_vec_foreach_reverse(void);
    bool test_vec_foreach_reverse_idx(void);
    bool test_vec_foreach_ptr_reverse(void);
    bool test_vec_foreach_ptr_reverse_idx(void);
    bool test_vec_foreach_reverse(void);
    bool test_vec_foreach_reverse_idx(void);
    bool test_vec_foreach_ptr_reverse(void);
    bool test_vec_foreach_ptr_reverse_idx(void);
    bool test_vec_foreach_reverse_idx(void);
    bool test_vec_foreach_ptr_reverse(void);
    bool test_vec_foreach_ptr_reverse_idx(void);
    
    // Test VecForeach macro
    
    // Test VecForeach macro
    bool test_vec_foreach(void) {
    printf("Testing VecForeach\n");
    
    // Test VecForeachIdx macro
    bool test_vec_foreach_idx(void) {
    printf("Testing VecForeachIdx\n");
    
    // Test VecForeachPtr macro
    bool test_vec_foreach_ptr(void) {
    printf("Testing VecForeachPtr\n");
    
    // Test VecForeachPtrIdx macro
    bool test_vec_foreach_ptr_idx(void) {
    printf("Testing VecForeachPtrIdx\n");
    
    // Test VecForeachReverse macro
    bool test_vec_foreach_reverse(void) {
    printf("Testing VecForeachReverse\n");
    
    // Test VecForeachReverseIdx macro
    bool test_vec_foreach_reverse_idx(void) {
    printf("Testing VecForeachReverseIdx\n");
    
    // Test VecForeachPtrReverse macro
    bool test_vec_foreach_ptr_reverse(void) {
    printf("Testing VecForeachPtrReverse\n");
    
    // Test VecForeachPtrReverseIdx macro
    bool test_vec_foreach_ptr_reverse_idx(void) {
    printf("Testing VecForeachPtrReverseIdx\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Foreach.Simple tests\n\n");
    
    // Function prototypes
    bool test_vec_at(void);
    bool test_vec_ptr_at(void);
    bool test_vec_first_last(void);
    // Function prototypes
    bool test_vec_at(void);
    bool test_vec_ptr_at(void);
    bool test_vec_first_last(void);
    bool test_vec_begin_end(void);
    bool test_vec_at(void);
    bool test_vec_ptr_at(void);
    bool test_vec_first_last(void);
    bool test_vec_begin_end(void);
    bool test_vec_size_len(void);
    bool test_vec_ptr_at(void);
    bool test_vec_first_last(void);
    bool test_vec_begin_end(void);
    bool test_vec_size_len(void);
    bool test_vec_aligned_offset_at(void);
    bool test_vec_first_last(void);
    bool test_vec_begin_end(void);
    bool test_vec_size_len(void);
    bool test_vec_aligned_offset_at(void);
    bool test_vec_begin_end(void);
    bool test_vec_size_len(void);
    bool test_vec_aligned_offset_at(void);
    
    // Test VecAt function
    
    // Test VecAt function
    bool test_vec_at(void) {
    printf("Testing VecAt\n");
    
    // Test VecPtrAt function
    bool test_vec_ptr_at(void) {
    printf("Testing VecPtrAt\n");
    
    // Test VecFirst and VecLast functions
    bool test_vec_first_last(void) {
    printf("Testing VecFirst and VecLast\n");
    
    // Test VecBegin and VecEnd functions
    bool test_vec_begin_end(void) {
    printf("Testing VecBegin and VecEnd\n");
    
    // Test VecSize and VecLen functions
    bool test_vec_size_len(void) {
    printf("Testing VecSize and VecLen\n");
    
    // Test VecAlignedOffsetAt function
    bool test_vec_aligned_offset_at(void) {
    printf("Testing VecAlignedOffsetAt\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Access tests\n\n");
    
    // Function prototypes
    bool test_str_try_reduce_space(void);
    bool test_str_swap_char_at(void);
    bool test_str_resize(void);
    // Function prototypes
    bool test_str_try_reduce_space(void);
    bool test_str_swap_char_at(void);
    bool test_str_resize(void);
    bool test_str_reserve(void);
    bool test_str_try_reduce_space(void);
    bool test_str_swap_char_at(void);
    bool test_str_resize(void);
    bool test_str_reserve(void);
    bool test_str_clear(void);
    bool test_str_swap_char_at(void);
    bool test_str_resize(void);
    bool test_str_reserve(void);
    bool test_str_clear(void);
    bool test_str_reverse(void);
    bool test_str_resize(void);
    bool test_str_reserve(void);
    bool test_str_clear(void);
    bool test_str_reverse(void);
    bool test_str_reserve(void);
    bool test_str_clear(void);
    bool test_str_reverse(void);
    
    // Test StrTryReduceSpace function
    
    // Test StrTryReduceSpace function
    bool test_str_try_reduce_space(void) {
    printf("Testing StrTryReduceSpace\n");
    
    // Test StrSwapCharAt function
    bool test_str_swap_char_at(void) {
    printf("Testing StrSwapCharAt\n");
    
    // Test StrResize function
    bool test_str_resize(void) {
    printf("Testing StrResize\n");
    
    // Test StrReserve function
    bool test_str_reserve(void) {
    printf("Testing StrReserve\n");
    
    // Test StrClear function
    bool test_str_clear(void) {
    printf("Testing StrClear\n");
    
    // Test StrReverse function
    bool test_str_reverse(void) {
    printf("Testing StrReverse\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Memory tests\n\n");
    
    // Function prototypes
    bool test_bitvec_init(void);
    bool test_bitvec_deinit(void);
    bool test_bitvec_reserve(void);
    // Function prototypes
    bool test_bitvec_init(void);
    bool test_bitvec_deinit(void);
    bool test_bitvec_reserve(void);
    bool test_bitvec_clear(void);
    bool test_bitvec_init(void);
    bool test_bitvec_deinit(void);
    bool test_bitvec_reserve(void);
    bool test_bitvec_clear(void);
    bool test_bitvec_resize(void);
    bool test_bitvec_deinit(void);
    bool test_bitvec_reserve(void);
    bool test_bitvec_clear(void);
    bool test_bitvec_resize(void);
    bool test_bitvec_init_edge_cases(void);
    bool test_bitvec_reserve(void);
    bool test_bitvec_clear(void);
    bool test_bitvec_resize(void);
    bool test_bitvec_init_edge_cases(void);
    bool test_bitvec_deinit_edge_cases(void);
    bool test_bitvec_clear(void);
    bool test_bitvec_resize(void);
    bool test_bitvec_init_edge_cases(void);
    bool test_bitvec_deinit_edge_cases(void);
    bool test_bitvec_reserve_edge_cases(void);
    bool test_bitvec_resize(void);
    bool test_bitvec_init_edge_cases(void);
    bool test_bitvec_deinit_edge_cases(void);
    bool test_bitvec_reserve_edge_cases(void);
    bool test_bitvec_clear_edge_cases(void);
    bool test_bitvec_init_edge_cases(void);
    bool test_bitvec_deinit_edge_cases(void);
    bool test_bitvec_reserve_edge_cases(void);
    bool test_bitvec_clear_edge_cases(void);
    bool test_bitvec_resize_edge_cases(void);
    bool test_bitvec_deinit_edge_cases(void);
    bool test_bitvec_reserve_edge_cases(void);
    bool test_bitvec_clear_edge_cases(void);
    bool test_bitvec_resize_edge_cases(void);
    bool test_bitvec_multiple_cycles(void);
    bool test_bitvec_reserve_edge_cases(void);
    bool test_bitvec_clear_edge_cases(void);
    bool test_bitvec_resize_edge_cases(void);
    bool test_bitvec_multiple_cycles(void);
    bool test_bitvec_clear_edge_cases(void);
    bool test_bitvec_resize_edge_cases(void);
    bool test_bitvec_multiple_cycles(void);
    
    // Test BitVecInit function
    
    // Test BitVecInit function
    bool test_bitvec_init(void) {
    printf("Testing BitVecInit\n");
    
    // Test BitVecDeinit function
    bool test_bitvec_deinit(void) {
    printf("Testing BitVecDeinit\n");
    
    // Test BitVecReserve function
    bool test_bitvec_reserve(void) {
    printf("Testing BitVecReserve\n");
    
    // Test BitVecClear function
    bool test_bitvec_clear(void) {
    printf("Testing BitVecClear\n");
    
    // Test BitVecReu64 function
    bool test_bitvec_resize(void) {
    printf("Testing BitVecResize\n");
    
    // Edge case tests - boundary conditions and unusual but valid inputs
    bool test_bitvec_init_edge_cases(void) {
    printf("Testing BitVecInit edge cases\n");
    }
    
    bool test_bitvec_reserve_edge_cases(void) {
    printf("Testing BitVecReserve edge cases\n");
    }
    
    bool test_bitvec_resize_edge_cases(void) {
    printf("Testing BitVecReu64 edge cases\n");
    }
    
    bool test_bitvec_clear_edge_cases(void) {
    printf("Testing BitVecClear edge cases\n");
    }
    
    bool test_bitvec_multiple_cycles(void) {
    printf("Testing BitVec multiple init/deinit cycles\n");
    
    // Deadend tests - verify expected failures occur gracefully
    bool test_bitvec_null_pointer_failures(void) {
    printf("Testing BitVec NULL pointer handling\n");
    }
    
    bool test_bitvec_invalid_operations(void) {
    printf("Testing BitVec invalid operations\n");
    }
    
    bool test_bitvec_set_operations_failures(void) {
    printf("Testing BitVec set operations on invalid indices\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Init tests\n\n");
    
    // Function prototypes
    bool test_vec_push_back(void);
    bool test_vec_push_front(void);
    bool test_vec_insert(void);
    // Function prototypes
    bool test_vec_push_back(void);
    bool test_vec_push_front(void);
    bool test_vec_insert(void);
    bool test_vec_push_back_arr(void);
    bool test_vec_push_back(void);
    bool test_vec_push_front(void);
    bool test_vec_insert(void);
    bool test_vec_push_back_arr(void);
    bool test_vec_push_front_arr(void);
    bool test_vec_push_front(void);
    bool test_vec_insert(void);
    bool test_vec_push_back_arr(void);
    bool test_vec_push_front_arr(void);
    bool test_vec_push_arr(void);
    bool test_vec_insert(void);
    bool test_vec_push_back_arr(void);
    bool test_vec_push_front_arr(void);
    bool test_vec_push_arr(void);
    bool test_vec_insert_range(void);
    bool test_vec_push_back_arr(void);
    bool test_vec_push_front_arr(void);
    bool test_vec_push_arr(void);
    bool test_vec_insert_range(void);
    bool test_vec_merge(void);
    bool test_vec_push_front_arr(void);
    bool test_vec_push_arr(void);
    bool test_vec_insert_range(void);
    bool test_vec_merge(void);
    bool test_lvalue_rvalue_operations(void);
    bool test_vec_push_arr(void);
    bool test_vec_insert_range(void);
    bool test_vec_merge(void);
    bool test_lvalue_rvalue_operations(void);
    bool test_lvalue_memset_after_insertion(void);
    bool test_vec_insert_range(void);
    bool test_vec_merge(void);
    bool test_lvalue_rvalue_operations(void);
    bool test_lvalue_memset_after_insertion(void);
    bool test_vec_merge(void);
    bool test_lvalue_rvalue_operations(void);
    bool test_lvalue_memset_after_insertion(void);
    
    // Test VecPushBack function
    
    // Test VecPushBack function
    bool test_vec_push_back(void) {
    printf("Testing VecPushBack\n");
    
    // Test VecPushFront function
    bool test_vec_push_front(void) {
    printf("Testing VecPushFront\n");
    
    // Test VecInsert function
    bool test_vec_insert(void) {
    printf("Testing VecInsert\n");
    
    // Test VecPushBackArr function
    bool test_vec_push_back_arr(void) {
    printf("Testing VecPushBackArr\n");
    
    // Test VecPushFrontArr function
    bool test_vec_push_front_arr(void) {
    printf("Testing VecPushFrontArr\n");
    
    // Test VecInsertRange function for inserting at a specific index
    bool test_vec_push_arr(void) {
    printf("Testing VecInsertRange at specific index\n");
    
    // Test VecInsertRange function for inserting from another vector
    bool test_vec_insert_range(void) {
    printf("Testing VecInsertRange from another vector\n");
    
    // Test VecMerge function
    bool test_vec_merge(void) {
    printf("Testing VecMerge\n");
    
    // Test L-value and R-value operations
    bool test_lvalue_rvalue_operations(void) {
    printf("Testing L-value and R-value operations\n");
    
    // Test that L-value insertions properly memset values to 0 after insertion
    bool test_lvalue_memset_after_insertion(void) {
    printf("Testing L-value memset after insertion\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Insert tests\n\n");
    
    // Function prototypes
    bool test_bitvec_shrink_to_fit(void);
    bool test_bitvec_set_capacity(void);
    bool test_bitvec_swap(void);
    // Function prototypes
    bool test_bitvec_shrink_to_fit(void);
    bool test_bitvec_set_capacity(void);
    bool test_bitvec_swap(void);
    bool test_bitvec_clone(void);
    bool test_bitvec_shrink_to_fit(void);
    bool test_bitvec_set_capacity(void);
    bool test_bitvec_swap(void);
    bool test_bitvec_clone(void);
    bool test_bitvec_shrink_to_fit_edge_cases(void);
    bool test_bitvec_set_capacity(void);
    bool test_bitvec_swap(void);
    bool test_bitvec_clone(void);
    bool test_bitvec_shrink_to_fit_edge_cases(void);
    bool test_bitvec_set_capacity_edge_cases(void);
    bool test_bitvec_swap(void);
    bool test_bitvec_clone(void);
    bool test_bitvec_shrink_to_fit_edge_cases(void);
    bool test_bitvec_set_capacity_edge_cases(void);
    bool test_bitvec_swap_edge_cases(void);
    bool test_bitvec_clone(void);
    bool test_bitvec_shrink_to_fit_edge_cases(void);
    bool test_bitvec_set_capacity_edge_cases(void);
    bool test_bitvec_swap_edge_cases(void);
    bool test_bitvec_clone_edge_cases(void);
    bool test_bitvec_shrink_to_fit_edge_cases(void);
    bool test_bitvec_set_capacity_edge_cases(void);
    bool test_bitvec_swap_edge_cases(void);
    bool test_bitvec_clone_edge_cases(void);
    bool test_bitvec_memory_stress_test(void);
    bool test_bitvec_set_capacity_edge_cases(void);
    bool test_bitvec_swap_edge_cases(void);
    bool test_bitvec_clone_edge_cases(void);
    bool test_bitvec_memory_stress_test(void);
    bool test_bitvec_memory_null_failures(void);
    bool test_bitvec_swap_edge_cases(void);
    bool test_bitvec_clone_edge_cases(void);
    bool test_bitvec_memory_stress_test(void);
    bool test_bitvec_memory_null_failures(void);
    bool test_bitvec_swap_null_failures(void);
    bool test_bitvec_clone_edge_cases(void);
    bool test_bitvec_memory_stress_test(void);
    bool test_bitvec_memory_null_failures(void);
    bool test_bitvec_swap_null_failures(void);
    bool test_bitvec_clone_null_failures(void);
    bool test_bitvec_memory_stress_test(void);
    bool test_bitvec_memory_null_failures(void);
    bool test_bitvec_swap_null_failures(void);
    bool test_bitvec_clone_null_failures(void);
    bool test_bitvec_memory_null_failures(void);
    bool test_bitvec_swap_null_failures(void);
    bool test_bitvec_clone_null_failures(void);
    
    // Test BitVecShrinkToFit function
    
    // Test BitVecShrinkToFit function
    bool test_bitvec_shrink_to_fit(void) {
    printf("Testing BitVecShrinkToFit\n");
    
    // Test BitVecReserve function (replacing BitVecSetCapacity)
    bool test_bitvec_set_capacity(void) {
    printf("Testing BitVecReserve\n");
    
    // Test BitVecSwap function
    bool test_bitvec_swap(void) {
    printf("Testing BitVecSwap\n");
    
    // Test BitVecClone function
    bool test_bitvec_clone(void) {
    printf("Testing BitVecClone\n");
    
    // Edge case tests
    bool test_bitvec_shrink_to_fit_edge_cases(void) {
    printf("Testing BitVecShrinkToFit edge cases\n");
    }
    
    bool test_bitvec_set_capacity_edge_cases(void) {
    printf("Testing BitVecReserve edge cases\n");
    }
    
    bool test_bitvec_swap_edge_cases(void) {
    printf("Testing BitVecSwap edge cases\n");
    }
    
    bool test_bitvec_clone_edge_cases(void) {
    printf("Testing BitVecClone edge cases\n");
    }
    
    bool test_bitvec_memory_stress_test(void) {
    printf("Testing BitVec memory stress test\n");
    
    // Deadend tests
    bool test_bitvec_memory_null_failures(void) {
    printf("Testing BitVec memory NULL pointer handling\n");
    }
    
    bool test_bitvec_swap_null_failures(void) {
    printf("Testing BitVec swap NULL handling\n");
    }
    
    bool test_bitvec_clone_null_failures(void) {
    printf("Testing BitVec clone NULL handling\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Memory tests\n\n");
    
    // Function prototypes
    bool test_vec_type_basic(void);
    bool test_vec_validate(void);
    // Function prototypes
    bool test_vec_type_basic(void);
    bool test_vec_validate(void);
    
    // Test basic Vec type functionality
    
    // Test basic Vec type functionality
    bool test_vec_type_basic(void) {
    printf("Testing basic Vec type functionality\n");
    
    // Test ValidateVec macro
    bool test_vec_validate(void) {
    printf("Testing ValidateVec macro\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Type tests\n\n");
    
    // Function prototypes
    bool test_vec_try_reduce_space(void);
    bool test_vec_resize(void);
    bool test_vec_reserve(void);
    // Function prototypes
    bool test_vec_try_reduce_space(void);
    bool test_vec_resize(void);
    bool test_vec_reserve(void);
    bool test_vec_clear(void);
    bool test_vec_try_reduce_space(void);
    bool test_vec_resize(void);
    bool test_vec_reserve(void);
    bool test_vec_clear(void);
    bool test_vec_resize(void);
    bool test_vec_reserve(void);
    bool test_vec_clear(void);
    
    // Test VecTryReduceSpace function
    
    // Test VecTryReduceSpace function
    bool test_vec_try_reduce_space(void) {
    printf("Testing VecTryReduceSpace\n");
    
    // Test VecResize function
    bool test_vec_resize(void) {
    printf("Testing VecResize\n");
    
    // Test VecReserve function
    bool test_vec_reserve(void) {
    printf("Testing VecReserve\n");
    
    // Test VecClear function
    bool test_vec_clear(void) {
    printf("Testing VecClear\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Memory tests\n\n");
    
    // Function prototypes
    bool test_bitvec_get(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    // Function prototypes
    bool test_bitvec_get(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_get(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    
    // Test BitVecGet function
    
    // Test BitVecGet function
    bool test_bitvec_get(void) {
    printf("Testing BitVecGet\n");
    
    // Test BitVecSet function
    bool test_bitvec_set(void) {
    printf("Testing BitVecSet\n");
    
    // Test BitVecFlip function
    bool test_bitvec_flip(void) {
    printf("Testing BitVecFlip\n");
    
    // Test BitVecLength and BitVecCapacity functions
    bool test_bitvec_length_capacity(void) {
    printf("Testing BitVecLength and BitVecCapacity\n");
    
    // Test BitVecCount functions
    bool test_bitvec_count_operations(void) {
    printf("Testing BitVecCount operations\n");
    
    // Edge case tests for BitVecGet
    bool test_bitvec_get_edge_cases(void) {
    printf("Testing BitVecGet edge cases\n");
    
    // Edge case tests for BitVecSet
    bool test_bitvec_set_edge_cases(void) {
    printf("Testing BitVecSet edge cases\n");
    
    // Edge case tests for BitVecFlip
    bool test_bitvec_flip_edge_cases(void) {
    printf("Testing BitVecFlip edge cases\n");
    
    // Edge case tests for BitVecCount
    bool test_bitvec_count_edge_cases(void) {
    printf("Testing BitVecCount edge cases\n");
    
    // Test multiple operations together
    bool test_bitvec_access_multiple_operations(void) {
    printf("Testing BitVec multiple access operations\n");
    
    // Test with large patterns
    bool test_bitvec_access_large_patterns(void) {
    printf("Testing BitVec access with large patterns\n");
    
    // Test macro functions
    bool test_bitvec_macro_functions(void) {
    printf("Testing BitVec macro functions\n");
    
    // Stress test for access operations
    bool test_bitvec_access_stress_test(void) {
    printf("Testing BitVec access stress test\n");
    
    // Comprehensive bit pattern testing
    bool test_bitvec_bit_patterns_comprehensive(void) {
    printf("Testing BitVec comprehensive bit patterns\n");
    
    // Test BitVecFind functions (Find, FindLast)
    bool test_bitvec_find_functions(void) {
    printf("Testing BitVecFind functions\n");
    
    // Test BitVec predicate functions (All, Any, None)
    bool test_bitvec_predicate_functions(void) {
    printf("Testing BitVec predicate functions\n");
    
    // Test BitVecLongestRun function
    bool test_bitvec_longest_run(void) {
    printf("Testing BitVecLongestRun\n");
    
    // Edge case tests for Find functions
    bool test_bitvec_find_edge_cases(void) {
    printf("Testing BitVecFind edge cases\n");
    
    // Edge case tests for predicate functions
    bool test_bitvec_predicate_edge_cases(void) {
    printf("Testing BitVec predicate edge cases\n");
    
    // Edge case tests for LongestRun function
    bool test_bitvec_longest_run_edge_cases(void) {
    printf("Testing BitVecLongestRun edge cases\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Access.Simple tests\n\n");
    
    // Function prototypes for deadend tests
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    // Function prototypes for deadend tests
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    bool test_bitvec_access_null_failures(void);
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    bool test_bitvec_access_null_failures(void);
    bool test_bitvec_set_null_failures(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    bool test_bitvec_access_null_failures(void);
    bool test_bitvec_set_null_failures(void);
    bool test_bitvec_flip_null_failures(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    bool test_bitvec_access_null_failures(void);
    bool test_bitvec_set_null_failures(void);
    bool test_bitvec_flip_null_failures(void);
    bool test_bitvec_get_bounds_failures(void);
    bool test_bitvec_access_null_failures(void);
    bool test_bitvec_set_null_failures(void);
    bool test_bitvec_flip_null_failures(void);
    bool test_bitvec_get_bounds_failures(void);
    bool test_bitvec_set_bounds_failures(void);
    bool test_bitvec_set_null_failures(void);
    bool test_bitvec_flip_null_failures(void);
    bool test_bitvec_get_bounds_failures(void);
    bool test_bitvec_set_bounds_failures(void);
    bool test_bitvec_flip_bounds_failures(void);
    bool test_bitvec_flip_null_failures(void);
    bool test_bitvec_get_bounds_failures(void);
    bool test_bitvec_set_bounds_failures(void);
    bool test_bitvec_flip_bounds_failures(void);
    bool test_bitvec_get_large_index_failures(void);
    bool test_bitvec_get_bounds_failures(void);
    bool test_bitvec_set_bounds_failures(void);
    bool test_bitvec_flip_bounds_failures(void);
    bool test_bitvec_get_large_index_failures(void);
    bool test_bitvec_set_large_index_failures(void);
    bool test_bitvec_set_bounds_failures(void);
    bool test_bitvec_flip_bounds_failures(void);
    bool test_bitvec_get_large_index_failures(void);
    bool test_bitvec_set_large_index_failures(void);
    bool test_bitvec_flip_edge_index_failures(void);
    bool test_bitvec_flip_bounds_failures(void);
    bool test_bitvec_get_large_index_failures(void);
    bool test_bitvec_set_large_index_failures(void);
    bool test_bitvec_flip_edge_index_failures(void);
    bool test_bitvec_count_null_failures(void);
    bool test_bitvec_get_large_index_failures(void);
    bool test_bitvec_set_large_index_failures(void);
    bool test_bitvec_flip_edge_index_failures(void);
    bool test_bitvec_count_null_failures(void);
    bool test_bitvec_get_max_index_failures(void);
    bool test_bitvec_set_large_index_failures(void);
    bool test_bitvec_flip_edge_index_failures(void);
    bool test_bitvec_count_null_failures(void);
    bool test_bitvec_get_max_index_failures(void);
    bool test_bitvec_flip_edge_index_failures(void);
    bool test_bitvec_count_null_failures(void);
    bool test_bitvec_get_max_index_failures(void);
    
    // Deadend tests - testing NULL pointers and invalid conditions that should cause fatal errors
    
    // Deadend tests - testing NULL pointers and invalid conditions that should cause fatal errors
    bool test_bitvec_find_deadend_tests(void) {
    printf("Testing BitVecFind deadend scenarios\n");
    }
    
    bool test_bitvec_predicate_deadend_tests(void) {
    printf("Testing BitVec predicate deadend scenarios\n");
    }
    
    bool test_bitvec_longest_run_deadend_tests(void) {
    printf("Testing BitVecLongestRun deadend scenarios\n");
    
    // Deadend tests
    bool test_bitvec_access_null_failures(void) {
    printf("Testing BitVec access NULL pointer handling\n");
    }
    
    bool test_bitvec_set_null_failures(void) {
    printf("Testing BitVec set NULL pointer handling\n");
    }
    
    bool test_bitvec_flip_null_failures(void) {
    printf("Testing BitVec flip NULL pointer handling\n");
    }
    
    bool test_bitvec_get_bounds_failures(void) {
    printf("Testing BitVec get bounds checking\n");
    }
    
    bool test_bitvec_set_bounds_failures(void) {
    printf("Testing BitVec set bounds checking\n");
    }
    
    bool test_bitvec_flip_bounds_failures(void) {
    printf("Testing BitVec flip bounds checking\n");
    
    // NEW: More specific bounds checking deadend tests
    bool test_bitvec_get_large_index_failures(void) {
    printf("Testing BitVec get with large out-of-bounds index\n");
    }
    
    bool test_bitvec_set_large_index_failures(void) {
    printf("Testing BitVec set with large out-of-bounds index\n");
    }
    
    bool test_bitvec_flip_edge_index_failures(void) {
    printf("Testing BitVec flip with edge case out-of-bounds index\n");
    }
    
    bool test_bitvec_count_null_failures(void) {
    printf("Testing BitVec count operations with NULL pointer\n");
    }
    
    bool test_bitvec_get_max_index_failures(void) {
    printf("Testing BitVec get with maximum index value\n");
    
    // Main function that runs all deadend tests
    int main(void) {
    printf("[INFO] Starting BitVec.Access.Deadend tests\n\n");
    
    // Function prototypes
    bool test_bitvec_push(void);
    bool test_bitvec_insert_single(void);
    bool test_bitvec_insert_range(void);
    // Function prototypes
    bool test_bitvec_push(void);
    bool test_bitvec_insert_single(void);
    bool test_bitvec_insert_range(void);
    bool test_bitvec_insert_multiple(void);
    bool test_bitvec_push(void);
    bool test_bitvec_insert_single(void);
    bool test_bitvec_insert_range(void);
    bool test_bitvec_insert_multiple(void);
    bool test_bitvec_insert_pattern(void);
    bool test_bitvec_insert_single(void);
    bool test_bitvec_insert_range(void);
    bool test_bitvec_insert_multiple(void);
    bool test_bitvec_insert_pattern(void);
    bool test_bitvec_insert_range_edge_cases(void);
    bool test_bitvec_insert_range(void);
    bool test_bitvec_insert_multiple(void);
    bool test_bitvec_insert_pattern(void);
    bool test_bitvec_insert_range_edge_cases(void);
    bool test_bitvec_insert_multiple_edge_cases(void);
    bool test_bitvec_insert_multiple(void);
    bool test_bitvec_insert_pattern(void);
    bool test_bitvec_insert_range_edge_cases(void);
    bool test_bitvec_insert_multiple_edge_cases(void);
    bool test_bitvec_insert_pattern_edge_cases(void);
    bool test_bitvec_insert_pattern(void);
    bool test_bitvec_insert_range_edge_cases(void);
    bool test_bitvec_insert_multiple_edge_cases(void);
    bool test_bitvec_insert_pattern_edge_cases(void);
    bool test_bitvec_insert_null_failures(void);
    bool test_bitvec_insert_range_edge_cases(void);
    bool test_bitvec_insert_multiple_edge_cases(void);
    bool test_bitvec_insert_pattern_edge_cases(void);
    bool test_bitvec_insert_null_failures(void);
    bool test_bitvec_insert_invalid_range_failures(void);
    bool test_bitvec_insert_multiple_edge_cases(void);
    bool test_bitvec_insert_pattern_edge_cases(void);
    bool test_bitvec_insert_null_failures(void);
    bool test_bitvec_insert_invalid_range_failures(void);
    bool test_bitvec_insert_pattern_null_failures(void);
    bool test_bitvec_insert_pattern_edge_cases(void);
    bool test_bitvec_insert_null_failures(void);
    bool test_bitvec_insert_invalid_range_failures(void);
    bool test_bitvec_insert_pattern_null_failures(void);
    bool test_bitvec_insert_null_failures(void);
    bool test_bitvec_insert_invalid_range_failures(void);
    bool test_bitvec_insert_pattern_null_failures(void);
    
    // Test BitVecPush function
    
    // Test BitVecPush function
    bool test_bitvec_push(void) {
    printf("Testing BitVecPush\n");
    
    // Test BitVecInsert single bit function
    bool test_bitvec_insert_single(void) {
    printf("Testing BitVecInsert (single bit)\n");
    
    // Test BitVecInsertRange function
    bool test_bitvec_insert_range(void) {
    printf("Testing BitVecInsertRange\n");
    
    // Test BitVecInsertMultiple function
    bool test_bitvec_insert_multiple(void) {
    printf("Testing BitVecInsertMultiple\n");
    
    // Test BitVecInsertPattern function
    bool test_bitvec_insert_pattern(void) {
    printf("Testing BitVecInsertPattern\n");
    
    // Edge case tests
    bool test_bitvec_insert_range_edge_cases(void) {
    printf("Testing BitVecInsertRange edge cases\n");
    }
    
    bool test_bitvec_insert_multiple_edge_cases(void) {
    printf("Testing BitVecInsertMultiple edge cases\n");
    }
    
    bool test_bitvec_insert_pattern_edge_cases(void) {
    printf("Testing BitVecInsertPattern edge cases\n");
    
    // Deadend tests
    bool test_bitvec_insert_null_failures(void) {
    printf("Testing BitVec insert NULL pointer handling\n");
    }
    
    bool test_bitvec_insert_invalid_range_failures(void) {
    printf("Testing BitVec insert invalid range handling\n");
    }
    
    bool test_bitvec_insert_pattern_null_failures(void) {
    printf("Testing BitVec insert pattern NULL handling\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Insert tests\n\n");
    
    // Function prototypes for deadend tests
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    // Function prototypes for deadend tests
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    
    // Deadend test 1: BitVecFindPattern with NULL source
    
    // Deadend test 1: BitVecFindPattern with NULL source
    bool test_bitvec_find_pattern_null_source(void) {
    printf("Testing BitVecFindPattern(NULL, pattern) - should fatal\n");
    
    // Deadend test 2: BitVecFindPattern with NULL pattern
    bool test_bitvec_find_pattern_null_pattern(void) {
    printf("Testing BitVecFindPattern(source, NULL) - should fatal\n");
    
    // Deadend test 3: BitVecFindLastPattern with NULL source
    bool test_bitvec_find_last_pattern_null_source(void) {
    printf("Testing BitVecFindLastPattern(NULL, pattern) - should fatal\n");
    
    // Deadend test 4: BitVecFindLastPattern with NULL pattern
    bool test_bitvec_find_last_pattern_null_pattern(void) {
    printf("Testing BitVecFindLastPattern(source, NULL) - should fatal\n");
    
    // Deadend test 5: BitVecFindAllPattern with NULL source
    bool test_bitvec_find_all_pattern_null_source(void) {
    printf("Testing BitVecFindAllPattern(NULL, pattern, results, 10) - should fatal\n");
    
    // Deadend test 6: BitVecFindAllPattern with NULL pattern
    bool test_bitvec_find_all_pattern_null_pattern(void) {
    printf("Testing BitVecFindAllPattern(source, NULL, results, 10) - should fatal\n");
    
    // Deadend test 7: BitVecFindAllPattern with NULL results
    bool test_bitvec_find_all_pattern_null_results(void) {
    printf("Testing BitVecFindAllPattern(source, pattern, NULL, 10) - should fatal\n");
    
    // Deadend test 8: BitVecFindAllPattern with zero max_results
    bool test_bitvec_find_all_pattern_zero_max_results(void) {
    printf("Testing BitVecFindAllPattern(source, pattern, results, 0) - should fatal\n");
    // Additional deadend tests for missing Pattern functions
    
    bool test_bitvec_starts_with_null_source(void) {
    printf("Testing BitVecStartsWith(NULL, prefix) - should fatal\n");
    BitVec prefix = BitVecInit();
    }
    
    bool test_bitvec_starts_with_null_prefix(void) {
    printf("Testing BitVecStartsWith(source, NULL) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_ends_with_null_source(void) {
    printf("Testing BitVecEndsWith(NULL, suffix) - should fatal\n");
    BitVec suffix = BitVecInit();
    }
    
    bool test_bitvec_ends_with_null_suffix(void) {
    printf("Testing BitVecEndsWith(source, NULL) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_contains_at_null_source(void) {
    printf("Testing BitVecContainsAt(NULL, pattern, 0) - should fatal\n");
    BitVec pattern = BitVecInit();
    }
    
    bool test_bitvec_contains_at_null_pattern(void) {
    printf("Testing BitVecContainsAt(source, NULL, 0) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_replace_null_source(void) {
    printf("Testing BitVecReplace(NULL, old, new) - should fatal\n");
    }
    
    bool test_bitvec_matches_null_source(void) {
    printf("Testing BitVecMatches(NULL, pattern, wildcard) - should fatal\n");
    BitVec pattern  = BitVecInit();
    }
    
    bool test_bitvec_regex_match_null_source(void) {
    printf("Testing BitVecRegexMatch(NULL, pattern) - should fatal\n");
    BitVecRegexMatch(NULL, "101");
    }
    
    bool test_bitvec_regex_match_null_pattern(void) {
    printf("Testing BitVecRegexMatch(source, NULL) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_prefix_match_null_source(void) {
    printf("Testing BitVecPrefixMatch(NULL, patterns, 1) - should fatal\n");
    BitVecs vp = VecInitWithDeepCopy(NULL, BitVecDeinit);
    }
    
    bool test_bitvec_prefix_match_null_patterns(void) {
    printf("Testing BitVecPrefixMatch(source, NULL, 1) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_suffix_match_null_source(void) {
    printf("Testing BitVecSuffixMatch(NULL, patterns, 1) - should fatal\n");
    BitVecs vp = VecInitWithDeepCopy(NULL, BitVecDeinit);
    }
    
    bool test_bitvec_suffix_match_null_patterns(void) {
    printf("Testing BitVecSuffixMatch(source, NULL, 1) - should fatal\n");
    BitVec source = BitVecInit();
    
    // Main function that runs all deadend tests
    int main(void) {
    printf("[INFO] Starting BitVec.Pattern.Deadend tests\n\n");
    
    // Function prototypes
    bool test_bitvec_pop(void);
    bool test_bitvec_remove_single(void);
    bool test_bitvec_remove_range(void);
    // Function prototypes
    bool test_bitvec_pop(void);
    bool test_bitvec_remove_single(void);
    bool test_bitvec_remove_range(void);
    bool test_bitvec_remove_first(void);
    bool test_bitvec_pop(void);
    bool test_bitvec_remove_single(void);
    bool test_bitvec_remove_range(void);
    bool test_bitvec_remove_first(void);
    bool test_bitvec_remove_last(void);
    bool test_bitvec_remove_single(void);
    bool test_bitvec_remove_range(void);
    bool test_bitvec_remove_first(void);
    bool test_bitvec_remove_last(void);
    bool test_bitvec_remove_all(void);
    bool test_bitvec_remove_range(void);
    bool test_bitvec_remove_first(void);
    bool test_bitvec_remove_last(void);
    bool test_bitvec_remove_all(void);
    bool test_bitvec_pop_edge_cases(void);
    bool test_bitvec_remove_first(void);
    bool test_bitvec_remove_last(void);
    bool test_bitvec_remove_all(void);
    bool test_bitvec_pop_edge_cases(void);
    bool test_bitvec_remove_single_edge_cases(void);
    bool test_bitvec_remove_last(void);
    bool test_bitvec_remove_all(void);
    bool test_bitvec_pop_edge_cases(void);
    bool test_bitvec_remove_single_edge_cases(void);
    bool test_bitvec_remove_range_edge_cases(void);
    bool test_bitvec_remove_all(void);
    bool test_bitvec_pop_edge_cases(void);
    bool test_bitvec_remove_single_edge_cases(void);
    bool test_bitvec_remove_range_edge_cases(void);
    bool test_bitvec_remove_first_last_edge_cases(void);
    bool test_bitvec_pop_edge_cases(void);
    bool test_bitvec_remove_single_edge_cases(void);
    bool test_bitvec_remove_range_edge_cases(void);
    bool test_bitvec_remove_first_last_edge_cases(void);
    bool test_bitvec_remove_all_edge_cases(void);
    bool test_bitvec_remove_single_edge_cases(void);
    bool test_bitvec_remove_range_edge_cases(void);
    bool test_bitvec_remove_first_last_edge_cases(void);
    bool test_bitvec_remove_all_edge_cases(void);
    bool test_bitvec_remove_null_failures(void);
    bool test_bitvec_remove_range_edge_cases(void);
    bool test_bitvec_remove_first_last_edge_cases(void);
    bool test_bitvec_remove_all_edge_cases(void);
    bool test_bitvec_remove_null_failures(void);
    bool test_bitvec_remove_range_null_failures(void);
    bool test_bitvec_remove_first_last_edge_cases(void);
    bool test_bitvec_remove_all_edge_cases(void);
    bool test_bitvec_remove_null_failures(void);
    bool test_bitvec_remove_range_null_failures(void);
    bool test_bitvec_remove_invalid_range_failures(void);
    bool test_bitvec_remove_all_edge_cases(void);
    bool test_bitvec_remove_null_failures(void);
    bool test_bitvec_remove_range_null_failures(void);
    bool test_bitvec_remove_invalid_range_failures(void);
    bool test_bitvec_remove_null_failures(void);
    bool test_bitvec_remove_range_null_failures(void);
    bool test_bitvec_remove_invalid_range_failures(void);
    
    // Test BitVecPop function
    
    // Test BitVecPop function
    bool test_bitvec_pop(void) {
    printf("Testing BitVecPop\n");
    
    // Test BitVecRemove single bit function
    bool test_bitvec_remove_single(void) {
    printf("Testing BitVecRemove (single bit)\n");
    
    // Test BitVecRemoveRange function
    bool test_bitvec_remove_range(void) {
    printf("Testing BitVecRemoveRange\n");
    
    // Test BitVecRemoveFirst function
    bool test_bitvec_remove_first(void) {
    printf("Testing BitVecRemoveFirst\n");
    
    // Test BitVecRemoveLast function
    bool test_bitvec_remove_last(void) {
    printf("Testing BitVecRemoveLast\n");
    
    // Test BitVecRemoveAll function
    bool test_bitvec_remove_all(void) {
    printf("Testing BitVecRemoveAll\n");
    
    // Edge case tests
    bool test_bitvec_pop_edge_cases(void) {
    printf("Testing BitVecPop edge cases\n");
    }
    
    bool test_bitvec_remove_single_edge_cases(void) {
    printf("Testing BitVecRemove edge cases\n");
    }
    
    bool test_bitvec_remove_range_edge_cases(void) {
    printf("Testing BitVecRemoveRange edge cases\n");
    }
    
    bool test_bitvec_remove_first_last_edge_cases(void) {
    printf("Testing BitVecRemoveFirst/Last edge cases\n");
    }
    
    bool test_bitvec_remove_all_edge_cases(void) {
    printf("Testing BitVecRemoveAll edge cases\n");
    
    // Deadend tests
    bool test_bitvec_remove_null_failures(void) {
    printf("Testing BitVec remove NULL pointer handling\n");
    }
    
    bool test_bitvec_remove_range_null_failures(void) {
    printf("Testing BitVec remove range NULL handling\n");
    }
    
    bool test_bitvec_remove_invalid_range_failures(void) {
    printf("Testing BitVec remove invalid range handling\n");
    }
    
    bool test_bitvec_pop_bounds_failures(void) {
    printf("Testing BitVec pop bounds checking\n");
    }
    
    bool test_bitvec_remove_bounds_failures(void) {
    printf("Testing BitVec remove bounds checking\n");
    }
    
    bool test_bitvec_remove_range_bounds_failures(void) {
    printf("Testing BitVec remove range bounds checking\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Remove tests\n\n");
    
    // Deinit function for ComplexItem
    void ComplexItemDeinit(ComplexItem* item) {
    if (!item)
    return;
    
    // Function prototypes
    bool test_complex_vec_init(void);
    bool test_complex_vec_push(void);
    bool test_complex_vec_insert(void);
    // Function prototypes
    bool test_complex_vec_init(void);
    bool test_complex_vec_push(void);
    bool test_complex_vec_insert(void);
    bool test_complex_vec_merge(void);
    bool test_complex_vec_init(void);
    bool test_complex_vec_push(void);
    bool test_complex_vec_insert(void);
    bool test_complex_vec_merge(void);
    bool test_lvalue_operations(void);
    bool test_complex_vec_push(void);
    bool test_complex_vec_insert(void);
    bool test_complex_vec_merge(void);
    bool test_lvalue_operations(void);
    bool test_fast_operations(void);
    bool test_complex_vec_insert(void);
    bool test_complex_vec_merge(void);
    bool test_lvalue_operations(void);
    bool test_fast_operations(void);
    bool test_delete_operations(void);
    bool test_complex_vec_merge(void);
    bool test_lvalue_operations(void);
    bool test_fast_operations(void);
    bool test_delete_operations(void);
    bool test_edge_cases(void);
    bool test_lvalue_operations(void);
    bool test_fast_operations(void);
    bool test_delete_operations(void);
    bool test_edge_cases(void);
    bool test_lvalue_memset_pushback(void);
    bool test_fast_operations(void);
    bool test_delete_operations(void);
    bool test_edge_cases(void);
    bool test_lvalue_memset_pushback(void);
    bool test_lvalue_memset_insert(void);
    bool test_delete_operations(void);
    bool test_edge_cases(void);
    bool test_lvalue_memset_pushback(void);
    bool test_lvalue_memset_insert(void);
    bool test_lvalue_memset_fast_insert(void);
    bool test_edge_cases(void);
    bool test_lvalue_memset_pushback(void);
    bool test_lvalue_memset_insert(void);
    bool test_lvalue_memset_fast_insert(void);
    bool test_lvalue_memset_pushfront(void);
    bool test_lvalue_memset_pushback(void);
    bool test_lvalue_memset_insert(void);
    bool test_lvalue_memset_fast_insert(void);
    bool test_lvalue_memset_pushfront(void);
    bool test_lvalue_memset_merge(void);
    bool test_lvalue_memset_insert(void);
    bool test_lvalue_memset_fast_insert(void);
    bool test_lvalue_memset_pushfront(void);
    bool test_lvalue_memset_merge(void);
    bool test_lvalue_memset_array_ops(void);
    bool test_lvalue_memset_fast_insert(void);
    bool test_lvalue_memset_pushfront(void);
    bool test_lvalue_memset_merge(void);
    bool test_lvalue_memset_array_ops(void);
    bool test_lvalue_memset_pushfront(void);
    bool test_lvalue_memset_merge(void);
    bool test_lvalue_memset_array_ops(void);
    
    // Test initialization with complex structure
    
    // Test initialization with complex structure
    bool test_complex_vec_init(void) {
    printf("Testing vector initialization with complex structure\n");
    
    // Test push operations with complex structure
    bool test_complex_vec_push(void) {
    printf("Testing push operations with complex structure\n");
    
    // Test insert operations with complex structure
    bool test_complex_vec_insert(void) {
    printf("Testing insert operations with complex structure\n");
    
    // Test merge operations with complex structure
    bool test_complex_vec_merge(void) {
    printf("Testing merge operations with complex structure\n");
    
    // Test L-value operations
    bool test_lvalue_operations(void) {
    printf("Testing L-value operations\n");
    
    // Test fast operations
    bool test_fast_operations(void) {
    printf("Testing fast operations\n");
    
    // Test delete operations
    bool test_delete_operations(void) {
    printf("Testing delete operations\n");
    
    // Test edge cases
    bool test_edge_cases(void) {
    printf("Testing edge cases\n");
    
    // Test VecPushBackL memset behavior with complex structures
    bool test_lvalue_memset_pushback(void) {
    printf("Testing VecPushBackL memset with complex structures\n");
    
    // Test VecInsertL memset behavior with complex structures
    bool test_lvalue_memset_insert(void) {
    printf("Testing VecInsertL memset with complex structures\n");
    
    // Test VecInsertFastL memset behavior with complex structures
    bool test_lvalue_memset_fast_insert(void) {
    printf("Testing VecInsertFastL memset with complex structures\n");
    bool result = true;
    
    // Test VecPushFrontL memset behavior with complex structures
    bool test_lvalue_memset_pushfront(void) {
    printf("Testing VecPushFrontL memset with complex structures\n");
    
    // Test VecMergeL memset behavior with complex structures
    bool test_lvalue_memset_merge(void) {
    printf("Testing VecMergeL memset with complex structures\n");
    
    // Test array operations with L-value semantics
    bool test_lvalue_memset_array_ops(void) {
    printf("Testing array operations with L-value semantics\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Complex tests\n\n");
    
    // Deadend test prototypes (tests that should crash due to out-of-bounds access)
    bool test_vec_foreach_out_of_bounds_access(void);
    bool test_vec_foreach_idx_out_of_bounds_access(void);
    bool test_vec_foreach_idx_basic_out_of_bounds_access(void);
    // Deadend test prototypes (tests that should crash due to out-of-bounds access)
    bool test_vec_foreach_out_of_bounds_access(void);
    bool test_vec_foreach_idx_out_of_bounds_access(void);
    bool test_vec_foreach_idx_basic_out_of_bounds_access(void);
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_out_of_bounds_access(void);
    bool test_vec_foreach_idx_out_of_bounds_access(void);
    bool test_vec_foreach_idx_basic_out_of_bounds_access(void);
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_vec_foreach_idx_out_of_bounds_access(void);
    bool test_vec_foreach_idx_basic_out_of_bounds_access(void);
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_idx_basic_out_of_bounds_access(void);
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_in_range_idx_out_of_bounds_access(void);
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_in_range_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_reverse_idx_out_of_bounds_access(void);
    bool test_vec_foreach_ptr_in_range_idx_out_of_bounds_access(void);
    
    // Deadend test: Make idx go out of bounds during VecForeach by modifying vector during iteration
    
    // Deadend test: Make idx go out of bounds during VecForeach by modifying vector during iteration
    bool test_vec_foreach_out_of_bounds_access(void) {
    printf("Testing VecForeach where modification causes out of bounds access (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in VecForeachIdx by modifying vector during iteration
    bool test_vec_foreach_idx_out_of_bounds_access(void) {
    printf("Testing VecForeachIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in VecForeachReverseIdx by modifying vector during iteration
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void) {
    printf("Testing VecForeachReverseIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in VecForeachPtrIdx by modifying vector during iteration
    bool test_vec_foreach_ptr_idx_out_of_bounds_access(void) {
    printf("Testing VecForeachPtrIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in VecForeachPtrReverseIdx by modifying vector during iteration
    bool test_vec_foreach_ptr_reverse_idx_out_of_bounds_access(void) {
    printf("Testing VecForeachPtrReverseIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in VecForeachPtrInRangeIdx by modifying vector during iteration
    bool test_vec_foreach_ptr_in_range_idx_out_of_bounds_access(void) {
    printf("Testing VecForeachPtrInRangeIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in basic VecForeachIdx by modifying vector during iteration
    bool test_vec_foreach_idx_basic_out_of_bounds_access(void) {
    printf("Testing basic VecForeachIdx where idx goes out of bounds (should crash)\n");
    
    // Main function that runs all deadend tests
    int main(void) {
    printf("[INFO] Starting Vec.Foreach.Deadend tests\n\n");
    
    // Function prototypes
    bool test_str_insert_char_at(void);
    bool test_str_insert_cstr(void);
    bool test_str_insert_zstr(void);
    // Function prototypes
    bool test_str_insert_char_at(void);
    bool test_str_insert_cstr(void);
    bool test_str_insert_zstr(void);
    bool test_str_insert(void);
    bool test_str_insert_char_at(void);
    bool test_str_insert_cstr(void);
    bool test_str_insert_zstr(void);
    bool test_str_insert(void);
    bool test_str_push_cstr(void);
    bool test_str_insert_cstr(void);
    bool test_str_insert_zstr(void);
    bool test_str_insert(void);
    bool test_str_push_cstr(void);
    bool test_str_push_zstr(void);
    bool test_str_insert_zstr(void);
    bool test_str_insert(void);
    bool test_str_push_cstr(void);
    bool test_str_push_zstr(void);
    bool test_str_push_back_cstr(void);
    bool test_str_insert(void);
    bool test_str_push_cstr(void);
    bool test_str_push_zstr(void);
    bool test_str_push_back_cstr(void);
    bool test_str_push_back_zstr(void);
    bool test_str_push_cstr(void);
    bool test_str_push_zstr(void);
    bool test_str_push_back_cstr(void);
    bool test_str_push_back_zstr(void);
    bool test_str_push_front_cstr(void);
    bool test_str_push_zstr(void);
    bool test_str_push_back_cstr(void);
    bool test_str_push_back_zstr(void);
    bool test_str_push_front_cstr(void);
    bool test_str_push_front_zstr(void);
    bool test_str_push_back_cstr(void);
    bool test_str_push_back_zstr(void);
    bool test_str_push_front_cstr(void);
    bool test_str_push_front_zstr(void);
    bool test_str_push_back(void);
    bool test_str_push_back_zstr(void);
    bool test_str_push_front_cstr(void);
    bool test_str_push_front_zstr(void);
    bool test_str_push_back(void);
    bool test_str_push_front(void);
    bool test_str_push_front_cstr(void);
    bool test_str_push_front_zstr(void);
    bool test_str_push_back(void);
    bool test_str_push_front(void);
    bool test_str_merge_l(void);
    bool test_str_push_front_zstr(void);
    bool test_str_push_back(void);
    bool test_str_push_front(void);
    bool test_str_merge_l(void);
    bool test_str_merge_r(void);
    bool test_str_push_back(void);
    bool test_str_push_front(void);
    bool test_str_merge_l(void);
    bool test_str_merge_r(void);
    bool test_str_merge(void);
    bool test_str_push_front(void);
    bool test_str_merge_l(void);
    bool test_str_merge_r(void);
    bool test_str_merge(void);
    bool test_str_appendf(void);
    bool test_str_merge_l(void);
    bool test_str_merge_r(void);
    bool test_str_merge(void);
    bool test_str_appendf(void);
    bool test_str_merge_r(void);
    bool test_str_merge(void);
    bool test_str_appendf(void);
    
    // Test StrInsertCharAt function
    
    // Test StrInsertCharAt function
    bool test_str_insert_char_at(void) {
    printf("Testing StrInsertCharAt\n");
    
    // Test StrInsertCstr function
    bool test_str_insert_cstr(void) {
    printf("Testing StrInsertCstr\n");
    
    // Test StrInsertZstr function
    bool test_str_insert_zstr(void) {
    printf("Testing StrInsertZstr\n");
    
    // Test StrInsert function
    bool test_str_insert(void) {
    printf("Testing StrInsert\n");
    
    // Test StrPushCstr function
    bool test_str_push_cstr(void) {
    printf("Testing StrPushCstr\n");
    
    // Test StrPushZstr function
    bool test_str_push_zstr(void) {
    printf("Testing StrPushZstr\n");
    
    // Test StrPushBackCstr function
    bool test_str_push_back_cstr(void) {
    printf("Testing StrPushBackCstr\n");
    
    // Test StrPushBackZstr function
    bool test_str_push_back_zstr(void) {
    printf("Testing StrPushBackZstr\n");
    
    // Test StrPushFrontCstr function
    bool test_str_push_front_cstr(void) {
    printf("Testing StrPushFrontCstr\n");
    
    // Test StrPushFrontZstr function
    bool test_str_push_front_zstr(void) {
    printf("Testing StrPushFrontZstr\n");
    
    // Test StrPushBack function
    bool test_str_push_back(void) {
    printf("Testing StrPushBack\n");
    
    // Test StrPushFront function
    bool test_str_push_front(void) {
    printf("Testing StrPushFront\n");
    
    // Test StrMergeL function
    bool test_str_merge_l(void) {
    printf("Testing StrMergeL\n");
    
    // Test StrMergeR function
    bool test_str_merge_r(void) {
    printf("Testing StrMergeR\n");
    
    // Test StrMerge function (alias for StrMergeR)
    bool test_str_merge(void) {
    printf("Testing StrMerge\n");
    
    // Test StrAppendf function
    bool test_str_appendf(void) {
    printf("Testing StrAppendf\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Insert tests\n\n");
    
    // Function prototypes
    bool test_str_pop_back(void);
    bool test_str_pop_front(void);
    bool test_str_remove(void);
    // Function prototypes
    bool test_str_pop_back(void);
    bool test_str_pop_front(void);
    bool test_str_remove(void);
    bool test_str_remove_range(void);
    bool test_str_pop_back(void);
    bool test_str_pop_front(void);
    bool test_str_remove(void);
    bool test_str_remove_range(void);
    bool test_str_delete_last_char(void);
    bool test_str_pop_front(void);
    bool test_str_remove(void);
    bool test_str_remove_range(void);
    bool test_str_delete_last_char(void);
    bool test_str_delete(void);
    bool test_str_remove(void);
    bool test_str_remove_range(void);
    bool test_str_delete_last_char(void);
    bool test_str_delete(void);
    bool test_str_delete_range(void);
    bool test_str_remove_range(void);
    bool test_str_delete_last_char(void);
    bool test_str_delete(void);
    bool test_str_delete_range(void);
    bool test_str_delete_last_char(void);
    bool test_str_delete(void);
    bool test_str_delete_range(void);
    
    // Test StrPopBack function
    
    // Test StrPopBack function
    bool test_str_pop_back(void) {
    printf("Testing StrPopBack\n");
    
    // Test StrPopFront function
    bool test_str_pop_front(void) {
    printf("Testing StrPopFront\n");
    
    // Test StrRemove function
    bool test_str_remove(void) {
    printf("Testing StrRemove\n");
    
    // Test StrRemoveRange function
    bool test_str_remove_range(void) {
    printf("Testing StrRemoveRange\n");
    
    // Test StrDeleteLastChar function
    bool test_str_delete_last_char(void) {
    printf("Testing StrDeleteLastChar\n");
    
    // Test StrDelete function
    bool test_str_delete(void) {
    printf("Testing StrDelete\n");
    
    // Test StrDeleteRange function
    bool test_str_delete_range(void) {
    printf("Testing StrDeleteRange\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Remove tests\n\n");
    
    // Function prototypes
    bool test_vec_pop_back(void);
    bool test_vec_pop_front(void);
    bool test_vec_delete(void);
    // Function prototypes
    bool test_vec_pop_back(void);
    bool test_vec_pop_front(void);
    bool test_vec_delete(void);
    bool test_vec_delete_fast(void);
    bool test_vec_pop_back(void);
    bool test_vec_pop_front(void);
    bool test_vec_delete(void);
    bool test_vec_delete_fast(void);
    bool test_vec_delete_range(void);
    bool test_vec_pop_front(void);
    bool test_vec_delete(void);
    bool test_vec_delete_fast(void);
    bool test_vec_delete_range(void);
    bool test_vec_delete_range_fast(void);
    bool test_vec_delete(void);
    bool test_vec_delete_fast(void);
    bool test_vec_delete_range(void);
    bool test_vec_delete_range_fast(void);
    bool test_vec_delete_last(void);
    bool test_vec_delete_fast(void);
    bool test_vec_delete_range(void);
    bool test_vec_delete_range_fast(void);
    bool test_vec_delete_last(void);
    bool test_lvalue_delete_operations(void);
    bool test_vec_delete_range(void);
    bool test_vec_delete_range_fast(void);
    bool test_vec_delete_last(void);
    bool test_lvalue_delete_operations(void);
    bool test_rvalue_delete_operations(void);
    bool test_vec_delete_range_fast(void);
    bool test_vec_delete_last(void);
    bool test_lvalue_delete_operations(void);
    bool test_rvalue_delete_operations(void);
    bool test_lvalue_fast_delete_operations(void);
    bool test_vec_delete_last(void);
    bool test_lvalue_delete_operations(void);
    bool test_rvalue_delete_operations(void);
    bool test_lvalue_fast_delete_operations(void);
    bool test_rvalue_fast_delete_operations(void);
    bool test_lvalue_delete_operations(void);
    bool test_rvalue_delete_operations(void);
    bool test_lvalue_fast_delete_operations(void);
    bool test_rvalue_fast_delete_operations(void);
    bool test_lvalue_delete_range_operations(void);
    bool test_rvalue_delete_operations(void);
    bool test_lvalue_fast_delete_operations(void);
    bool test_rvalue_fast_delete_operations(void);
    bool test_lvalue_delete_range_operations(void);
    bool test_rvalue_delete_range_operations(void);
    bool test_lvalue_fast_delete_operations(void);
    bool test_rvalue_fast_delete_operations(void);
    bool test_lvalue_delete_range_operations(void);
    bool test_rvalue_delete_range_operations(void);
    bool test_lvalue_fast_delete_range_operations(void);
    bool test_rvalue_fast_delete_operations(void);
    bool test_lvalue_delete_range_operations(void);
    bool test_rvalue_delete_range_operations(void);
    bool test_lvalue_fast_delete_range_operations(void);
    bool test_rvalue_fast_delete_range_operations(void);
    bool test_lvalue_delete_range_operations(void);
    bool test_rvalue_delete_range_operations(void);
    bool test_lvalue_fast_delete_range_operations(void);
    bool test_rvalue_fast_delete_range_operations(void);
    bool test_rvalue_delete_range_operations(void);
    bool test_lvalue_fast_delete_range_operations(void);
    bool test_rvalue_fast_delete_range_operations(void);
    
    // Test VecPopBack function
    
    // Test VecPopBack function
    bool test_vec_pop_back(void) {
    printf("Testing VecPopBack\n");
    
    // Test VecPopFront function
    bool test_vec_pop_front(void) {
    printf("Testing VecPopFront\n");
    
    // Test VecDelete function
    bool test_vec_delete(void) {
    printf("Testing VecDelete\n");
    
    // Test VecDeleteFast function
    bool test_vec_delete_fast(void) {
    printf("Testing VecDeleteFast\n");
    
    // Test VecDeleteRange function
    bool test_vec_delete_range(void) {
    printf("Testing VecDeleteRange\n");
    
    // Test VecDeleteRangeFast
    bool test_vec_delete_range_fast(void) {
    printf("Testing VecDeleteRangeFast\n");
    
    // Test VecDeleteLast function
    bool test_vec_delete_last(void) {
    printf("Testing VecDeleteLast\n");
    
    // Test L-value standard delete operations
    bool test_lvalue_delete_operations(void) {
    printf("Testing L-value standard delete operations\n");
    
    // Test R-value standard delete operations
    bool test_rvalue_delete_operations(void) {
    printf("Testing R-value standard delete operations\n");
    
    // Test L-value fast delete operations
    bool test_lvalue_fast_delete_operations(void) {
    printf("Testing L-value fast delete operations\n");
    
    // Test R-value fast delete operations
    bool test_rvalue_fast_delete_operations(void) {
    printf("Testing R-value fast delete operations\n");
    
    // Test L-value delete range operations
    bool test_lvalue_delete_range_operations(void) {
    printf("Testing L-value delete range operations\n");
    
    // Test R-value delete range operations
    bool test_rvalue_delete_range_operations(void) {
    printf("Testing R-value delete range operations\n");
    
    // Test L-value fast delete range operations
    bool test_lvalue_fast_delete_range_operations(void) {
    printf("Testing L-value fast delete range operations\n");
    
    // Test R-value fast delete range operations
    bool test_rvalue_fast_delete_range_operations(void) {
    printf("Testing R-value fast delete range operations\n");
    
    // Function prototypes
    bool test_bitvec_and(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    // Function prototypes
    bool test_bitvec_and(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_and(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_bitwise_large_patterns(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_bitwise_large_patterns(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_bitwise_large_patterns(void);
    
    // Test BitVecAnd function
    
    // Test BitVecAnd function
    bool test_bitvec_and(void) {
    printf("Testing BitVecAnd\n");
    
    // Test BitVecOr function
    bool test_bitvec_or(void) {
    printf("Testing BitVecOr\n");
    
    // Test BitVecXor function
    bool test_bitvec_xor(void) {
    printf("Testing BitVecXor\n");
    
    // Test BitVecNot function
    bool test_bitvec_not(void) {
    printf("Testing BitVecNot\n");
    
    // Test BitVecShiftLeft function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_left(void) {
    printf("Testing BitVecShiftLeft\n");
    
    // Test BitVecShiftRight function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_right(void) {
    printf("Testing BitVecShiftRight\n");
    
    // Test BitVecRotateLeft function
    bool test_bitvec_rotate_left(void) {
    printf("Testing BitVecRotateLeft\n");
    
    // Test BitVecRotateRight function
    bool test_bitvec_rotate_right(void) {
    printf("Testing BitVecRotateRight\n");
    
    // Test BitVecReverse function
    bool test_bitvec_reverse(void) {
    printf("Testing BitVecReverse\n");
    
    // Edge case tests
    bool test_bitvec_shift_edge_cases(void) {
    printf("Testing BitVec shift edge cases\n");
    }
    
    bool test_bitvec_rotate_edge_cases(void) {
    printf("Testing BitVec rotate edge cases\n");
    }
    
    bool test_bitvec_bitwise_ops_edge_cases(void) {
    printf("Testing BitVec bitwise operations edge cases\n");
    }
    
    bool test_bitvec_reverse_edge_cases(void) {
    printf("Testing BitVecReverse edge cases\n");
    
    // NEW: Comprehensive bitwise operations testing
    bool test_bitvec_bitwise_comprehensive(void) {
    printf("Testing BitVec comprehensive bitwise operations\n");
    
    // NEW: Comprehensive shift testing
    bool test_bitvec_shift_comprehensive(void) {
    printf("Testing BitVec comprehensive shift operations\n");
    
    // NEW: Comprehensive rotate testing
    bool test_bitvec_rotate_comprehensive(void) {
    printf("Testing BitVec comprehensive rotate operations\n");
    
    // NEW: Identity operations testing
    bool test_bitvec_bitwise_identity_operations(void) {
    printf("Testing BitVec bitwise identity operations\n");
    
    // NEW: Commutative properties testing
    bool test_bitvec_bitwise_commutative_properties(void) {
    printf("Testing BitVec bitwise commutative properties\n");
    
    // NEW: Large pattern testing
    bool test_bitvec_bitwise_large_patterns(void) {
    printf("Testing BitVec bitwise operations with large patterns\n");
    
    // Deadend tests
    bool test_bitvec_bitwise_null_failures(void) {
    printf("Testing BitVec bitwise NULL pointer handling\n");
    }
    
    bool test_bitvec_bitwise_ops_null_failures(void) {
    printf("Testing BitVec bitwise operations NULL handling\n");
    }
    
    bool test_bitvec_reverse_null_failures(void) {
    printf("Testing BitVec reverse NULL handling\n");
    
    // NEW: Additional deadend tests
    bool test_bitvec_shift_ops_null_failures(void) {
    printf("Testing BitVec shift operations NULL handling\n");
    }
    
    bool test_bitvec_rotate_ops_null_failures(void) {
    printf("Testing BitVec rotate operations NULL handling\n");
    }
    
    bool test_bitvec_and_result_null_failures(void) {
    printf("Testing BitVec AND with NULL result handling\n");
    }
    
    bool test_bitvec_or_operand_null_failures(void) {
    printf("Testing BitVec OR with NULL operand handling\n");
    }
    
    bool test_bitvec_xor_second_operand_null_failures(void) {
    printf("Testing BitVec XOR with NULL second operand handling\n");
    }
    
    bool test_bitvec_not_null_failures(void) {
    printf("Testing BitVec NOT with NULL handling\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.BitWise tests\n\n");
    
    // Deadend test prototypes (tests that should crash due to out-of-bounds access)
    bool test_str_foreach_out_of_bounds_access(void);
    bool test_str_foreach_idx_out_of_bounds_access(void);
    bool test_str_foreach_idx_basic_out_of_bounds_access(void);
    // Deadend test prototypes (tests that should crash due to out-of-bounds access)
    bool test_str_foreach_out_of_bounds_access(void);
    bool test_str_foreach_idx_out_of_bounds_access(void);
    bool test_str_foreach_idx_basic_out_of_bounds_access(void);
    bool test_str_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_str_foreach_out_of_bounds_access(void);
    bool test_str_foreach_idx_out_of_bounds_access(void);
    bool test_str_foreach_idx_basic_out_of_bounds_access(void);
    bool test_str_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_idx_out_of_bounds_access(void);
    bool test_str_foreach_idx_basic_out_of_bounds_access(void);
    bool test_str_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_reverse_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_idx_basic_out_of_bounds_access(void);
    bool test_str_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_reverse_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_in_range_idx_out_of_bounds_access(void);
    bool test_str_foreach_reverse_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_reverse_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_in_range_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_reverse_ptr_idx_out_of_bounds_access(void);
    bool test_str_foreach_ptr_in_range_idx_out_of_bounds_access(void);
    
    // Deadend test: Make idx go out of bounds in StrForeachInRangeIdx by shrinking string during iteration
    
    // Deadend test: Make idx go out of bounds in StrForeachInRangeIdx by shrinking string during iteration
    bool test_str_foreach_out_of_bounds_access(void) {
    printf("Testing StrForeachInRangeIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in StrForeachInRangeIdx by deleting characters
    bool test_str_foreach_idx_out_of_bounds_access(void) {
    printf("Testing StrForeachInRangeIdx with character deletion where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in StrForeachReverseIdx by modifying string during iteration
    bool test_str_foreach_reverse_idx_out_of_bounds_access(void) {
    printf("Testing StrForeachReverseIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in StrForeachPtrIdx by modifying string during iteration
    bool test_str_foreach_ptr_idx_out_of_bounds_access(void) {
    printf("Testing StrForeachPtrIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in StrForeachReversePtrIdx by modifying string during iteration
    bool test_str_foreach_reverse_ptr_idx_out_of_bounds_access(void) {
    printf("Testing StrForeachReversePtrIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in StrForeachPtrInRangeIdx by modifying string during iteration
    bool test_str_foreach_ptr_in_range_idx_out_of_bounds_access(void) {
    printf("Testing StrForeachPtrInRangeIdx where idx goes out of bounds (should crash)\n");
    
    // Deadend test: Make idx go out of bounds in basic StrForeachIdx by modifying string during iteration
    bool test_str_foreach_idx_basic_out_of_bounds_access(void) {
    printf("Testing basic StrForeachIdx where idx goes out of bounds (should crash)\n");
    
    // Main function that runs all deadend tests
    int main(void) {
    printf("[INFO] Starting Str.Foreach.Deadend tests\n\n");
    
    // Function prototypes
    bool test_basic_formatting(void);
    bool test_string_formatting(void);
    bool test_integer_decimal_formatting(void);
    // Function prototypes
    bool test_basic_formatting(void);
    bool test_string_formatting(void);
    bool test_integer_decimal_formatting(void);
    bool test_integer_hex_formatting(void);
    bool test_basic_formatting(void);
    bool test_string_formatting(void);
    bool test_integer_decimal_formatting(void);
    bool test_integer_hex_formatting(void);
    bool test_integer_binary_formatting(void);
    bool test_string_formatting(void);
    bool test_integer_decimal_formatting(void);
    bool test_integer_hex_formatting(void);
    bool test_integer_binary_formatting(void);
    bool test_integer_octal_formatting(void);
    bool test_integer_decimal_formatting(void);
    bool test_integer_hex_formatting(void);
    bool test_integer_binary_formatting(void);
    bool test_integer_octal_formatting(void);
    bool test_float_basic_formatting(void);
    bool test_integer_hex_formatting(void);
    bool test_integer_binary_formatting(void);
    bool test_integer_octal_formatting(void);
    bool test_float_basic_formatting(void);
    bool test_float_precision_formatting(void);
    bool test_integer_binary_formatting(void);
    bool test_integer_octal_formatting(void);
    bool test_float_basic_formatting(void);
    bool test_float_precision_formatting(void);
    bool test_float_special_values(void);
    bool test_integer_octal_formatting(void);
    bool test_float_basic_formatting(void);
    bool test_float_precision_formatting(void);
    bool test_float_special_values(void);
    bool test_width_alignment_formatting(void);
    bool test_float_basic_formatting(void);
    bool test_float_precision_formatting(void);
    bool test_float_special_values(void);
    bool test_width_alignment_formatting(void);
    bool test_multiple_arguments(void);
    bool test_float_precision_formatting(void);
    bool test_float_special_values(void);
    bool test_width_alignment_formatting(void);
    bool test_multiple_arguments(void);
    bool test_error_handling(void);
    bool test_float_special_values(void);
    bool test_width_alignment_formatting(void);
    bool test_multiple_arguments(void);
    bool test_error_handling(void);
    bool test_char_formatting(void);
    bool test_width_alignment_formatting(void);
    bool test_multiple_arguments(void);
    bool test_error_handling(void);
    bool test_char_formatting(void);
    bool test_bitvec_formatting(void);
    bool test_multiple_arguments(void);
    bool test_error_handling(void);
    bool test_char_formatting(void);
    bool test_bitvec_formatting(void);
    bool test_error_handling(void);
    bool test_char_formatting(void);
    bool test_bitvec_formatting(void);
    
    // Test basic formatting features
    
    // Test basic formatting features
    bool test_basic_formatting(void) {
    printf("Testing basic formatting\n");
    
    // Test string formatting
    bool test_string_formatting(void) {
    printf("Testing string formatting\n");
    
    // Test decimal integer formatting
    bool test_integer_decimal_formatting(void) {
    printf("Testing integer decimal formatting\n");
    
    // Test hexadecimal formatting
    bool test_integer_hex_formatting(void) {
    printf("Testing integer hexadecimal formatting\n");
    
    // Test binary formatting
    bool test_integer_binary_formatting(void) {
    printf("Testing integer binary formatting\n");
    
    // Test octal formatting
    bool test_integer_octal_formatting(void) {
    printf("Testing integer octal formatting\n");
    
    // Test basic floating point formatting
    bool test_float_basic_formatting(void) {
    printf("Testing basic floating point formatting\n");
    
    // Test floating point precision
    bool test_float_precision_formatting(void) {
    printf("Testing floating point precision formatting\n");
    
    // Test special floating point values
    bool test_float_special_values(void) {
    printf("Testing special floating point values\n");
    
    // Test width and alignment formatting
    bool test_width_alignment_formatting(void) {
    printf("Testing width and alignment formatting\n");
    
    // Test multiple arguments
    bool test_multiple_arguments(void) {
    printf("Testing multiple arguments\n");
    
    // Test character formatting specifiers
    bool test_char_formatting(void) {
    printf("Testing character formatting specifiers\n");
    
    // Test BitVec formatting
    bool test_bitvec_formatting(void) {
    printf("Testing BitVec formatting\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting format writer tests\n\n");
    }
    
    void TestItemDeinit(TestItem* item) {
    if (!item)
    return;
    
    // Function prototypes
    bool test_vec_init_basic(void);
    bool test_vec_init_aligned(void);
    bool test_vec_init_with_deep_copy(void);
    // Function prototypes
    bool test_vec_init_basic(void);
    bool test_vec_init_aligned(void);
    bool test_vec_init_with_deep_copy(void);
    bool test_vec_init_aligned_with_deep_copy(void);
    bool test_vec_init_basic(void);
    bool test_vec_init_aligned(void);
    bool test_vec_init_with_deep_copy(void);
    bool test_vec_init_aligned_with_deep_copy(void);
    bool test_vec_init_stack(void);
    bool test_vec_init_aligned(void);
    bool test_vec_init_with_deep_copy(void);
    bool test_vec_init_aligned_with_deep_copy(void);
    bool test_vec_init_stack(void);
    bool test_vec_init_clone(void);
    bool test_vec_init_with_deep_copy(void);
    bool test_vec_init_aligned_with_deep_copy(void);
    bool test_vec_init_stack(void);
    bool test_vec_init_clone(void);
    bool test_vec_init_aligned_with_deep_copy(void);
    bool test_vec_init_stack(void);
    bool test_vec_init_clone(void);
    
    // Test basic vector initialization
    
    // Test basic vector initialization
    bool test_vec_init_basic(void) {
    printf("Testing VecInit\n");
    
    // Test aligned vector initialization
    bool test_vec_init_aligned(void) {
    printf("Testing VecInitAligned\n");
    
    // Test vector initialization with deep copy functions
    bool test_vec_init_with_deep_copy(void) {
    printf("Testing VecInitWithDeepCopy\n");
    
    // Test vector initialization with alignment and deep copy functions
    bool test_vec_init_aligned_with_deep_copy(void) {
    printf("Testing VecInitAlignedWithDeepCopy\n");
    
    // Test vector stack initialization
    bool test_vec_init_stack(void) {
    printf("Testing VecInitStack\n");
    
    // Test vector clone initialization
    bool test_vec_init_clone(void) {
    printf("Testing vector cloning\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Init tests\n\n");
    
    // Function prototypes
    bool test_str_foreach_idx(void);
    bool test_str_foreach_reverse_idx(void);
    bool test_str_foreach_ptr_idx(void);
    // Function prototypes
    bool test_str_foreach_idx(void);
    bool test_str_foreach_reverse_idx(void);
    bool test_str_foreach_ptr_idx(void);
    bool test_str_foreach_reverse_ptr_idx(void);
    bool test_str_foreach_idx(void);
    bool test_str_foreach_reverse_idx(void);
    bool test_str_foreach_ptr_idx(void);
    bool test_str_foreach_reverse_ptr_idx(void);
    bool test_str_foreach(void);
    bool test_str_foreach_reverse_idx(void);
    bool test_str_foreach_ptr_idx(void);
    bool test_str_foreach_reverse_ptr_idx(void);
    bool test_str_foreach(void);
    bool test_str_foreach_reverse(void);
    bool test_str_foreach_ptr_idx(void);
    bool test_str_foreach_reverse_ptr_idx(void);
    bool test_str_foreach(void);
    bool test_str_foreach_reverse(void);
    bool test_str_foreach_ptr(void);
    bool test_str_foreach_reverse_ptr_idx(void);
    bool test_str_foreach(void);
    bool test_str_foreach_reverse(void);
    bool test_str_foreach_ptr(void);
    bool test_str_foreach_ptr_reverse(void);
    bool test_str_foreach(void);
    bool test_str_foreach_reverse(void);
    bool test_str_foreach_ptr(void);
    bool test_str_foreach_ptr_reverse(void);
    bool test_str_foreach_in_range_idx(void);
    bool test_str_foreach_reverse(void);
    bool test_str_foreach_ptr(void);
    bool test_str_foreach_ptr_reverse(void);
    bool test_str_foreach_in_range_idx(void);
    bool test_str_foreach_in_range(void);
    bool test_str_foreach_ptr(void);
    bool test_str_foreach_ptr_reverse(void);
    bool test_str_foreach_in_range_idx(void);
    bool test_str_foreach_in_range(void);
    bool test_str_foreach_ptr_in_range_idx(void);
    bool test_str_foreach_ptr_reverse(void);
    bool test_str_foreach_in_range_idx(void);
    bool test_str_foreach_in_range(void);
    bool test_str_foreach_ptr_in_range_idx(void);
    bool test_str_foreach_ptr_in_range(void);
    bool test_str_foreach_in_range_idx(void);
    bool test_str_foreach_in_range(void);
    bool test_str_foreach_ptr_in_range_idx(void);
    bool test_str_foreach_ptr_in_range(void);
    bool test_str_foreach_in_range(void);
    bool test_str_foreach_ptr_in_range_idx(void);
    bool test_str_foreach_ptr_in_range(void);
    
    // Test StrForeachIdx macro
    
    // Test StrForeachIdx macro
    bool test_str_foreach_idx(void) {
    printf("Testing StrForeachIdx\n");
    
    // Test StrForeachReverseIdx macro
    bool test_str_foreach_reverse_idx(void) {
    printf("Testing StrForeachReverseIdx\n");
    
    // Test StrForeachPtrIdx macro
    bool test_str_foreach_ptr_idx(void) {
    printf("Testing StrForeachPtrIdx\n");
    
    // Test StrForeachReversePtrIdx macro
    bool test_str_foreach_reverse_ptr_idx(void) {
    printf("Testing StrForeachReversePtrIdx\n");
    
    // Test StrForeach macro
    bool test_str_foreach(void) {
    printf("Testing StrForeach\n");
    
    // Test StrForeachReverse macro
    bool test_str_foreach_reverse(void) {
    printf("Testing StrForeachReverse\n");
    
    // Test StrForeachPtr macro
    bool test_str_foreach_ptr(void) {
    printf("Testing StrForeachPtr\n");
    
    // Test StrForeachPtrReverse macro
    bool test_str_foreach_ptr_reverse(void) {
    printf("Testing StrForeachPtrReverse\n");
    
    // Test StrForeachInRangeIdx macro
    bool test_str_foreach_in_range_idx(void) {
    printf("Testing StrForeachInRangeIdx\n");
    
    // Test StrForeachInRange macro
    bool test_str_foreach_in_range(void) {
    printf("Testing StrForeachInRange\n");
    
    // Test StrForeachPtrInRangeIdx macro
    bool test_str_foreach_ptr_in_range_idx(void) {
    printf("Testing StrForeachPtrInRangeIdx\n");
    
    // Test StrForeachPtrInRange macro
    bool test_str_foreach_ptr_in_range(void) {
    printf("Testing StrForeachPtrInRange\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Foreach.Simple tests\n\n");
    
    // Function prototypes
    bool test_bitvec_and(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    // Function prototypes
    bool test_bitvec_and(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_and(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_or(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_xor(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_not(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_shift_left(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_right(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_left(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_rotate_right(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_shift_edge_cases(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_rotate_edge_cases(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_bitwise_ops_edge_cases(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_reverse_edge_cases(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_comprehensive(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_shift_comprehensive(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_bitwise_large_patterns(void);
    bool test_bitvec_rotate_comprehensive(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_bitwise_large_patterns(void);
    bool test_bitvec_bitwise_identity_operations(void);
    bool test_bitvec_bitwise_commutative_properties(void);
    bool test_bitvec_bitwise_large_patterns(void);
    
    // Test BitVecAnd function
    
    // Test BitVecAnd function
    bool test_bitvec_and(void) {
    printf("Testing BitVecAnd\n");
    
    // Test BitVecOr function
    bool test_bitvec_or(void) {
    printf("Testing BitVecOr\n");
    
    // Test BitVecXor function
    bool test_bitvec_xor(void) {
    printf("Testing BitVecXor\n");
    
    // Test BitVecNot function
    bool test_bitvec_not(void) {
    printf("Testing BitVecNot\n");
    
    // Test BitVecShiftLeft function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_left(void) {
    printf("Testing BitVecShiftLeft\n");
    
    // Test BitVecShiftRight function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_right(void) {
    printf("Testing BitVecShiftRight\n");
    
    // Test BitVecRotateLeft function
    bool test_bitvec_rotate_left(void) {
    printf("Testing BitVecRotateLeft\n");
    
    // Test BitVecRotateRight function
    bool test_bitvec_rotate_right(void) {
    printf("Testing BitVecRotateRight\n");
    
    // Test BitVecReverse function
    bool test_bitvec_reverse(void) {
    printf("Testing BitVecReverse\n");
    
    // Edge case tests
    bool test_bitvec_shift_edge_cases(void) {
    printf("Testing BitVec shift edge cases\n");
    }
    
    bool test_bitvec_rotate_edge_cases(void) {
    printf("Testing BitVec rotate edge cases\n");
    }
    
    bool test_bitvec_bitwise_ops_edge_cases(void) {
    printf("Testing BitVec bitwise operations edge cases\n");
    }
    
    bool test_bitvec_reverse_edge_cases(void) {
    printf("Testing BitVecReverse edge cases\n");
    
    // NEW: Comprehensive bitwise operations testing
    bool test_bitvec_bitwise_comprehensive(void) {
    printf("Testing BitVec comprehensive bitwise operations\n");
    
    // NEW: Comprehensive shift testing
    bool test_bitvec_shift_comprehensive(void) {
    printf("Testing BitVec comprehensive shift operations\n");
    
    // NEW: Comprehensive rotate testing
    bool test_bitvec_rotate_comprehensive(void) {
    printf("Testing BitVec comprehensive rotate operations\n");
    
    // NEW: Identity operations testing
    bool test_bitvec_bitwise_identity_operations(void) {
    printf("Testing BitVec bitwise identity operations\n");
    
    // NEW: Commutative properties testing
    bool test_bitvec_bitwise_commutative_properties(void) {
    printf("Testing BitVec bitwise commutative properties\n");
    
    // NEW: Large pattern testing
    bool test_bitvec_bitwise_large_patterns(void) {
    printf("Testing BitVec bitwise operations with large patterns\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.BitWise tests\n\n");
    
    // Function prototypes
    bool test_str_first(void);
    bool test_str_last(void);
    bool test_str_begin(void);
    // Function prototypes
    bool test_str_first(void);
    bool test_str_last(void);
    bool test_str_begin(void);
    bool test_str_end(void);
    bool test_str_first(void);
    bool test_str_last(void);
    bool test_str_begin(void);
    bool test_str_end(void);
    bool test_str_char_at(void);
    bool test_str_last(void);
    bool test_str_begin(void);
    bool test_str_end(void);
    bool test_str_char_at(void);
    bool test_str_char_ptr_at(void);
    bool test_str_begin(void);
    bool test_str_end(void);
    bool test_str_char_at(void);
    bool test_str_char_ptr_at(void);
    bool test_str_end(void);
    bool test_str_char_at(void);
    bool test_str_char_ptr_at(void);
    
    // Test StrFirst function
    
    // Test StrFirst function
    bool test_str_first(void) {
    printf("Testing StrFirst\n");
    
    // Test StrLast function
    bool test_str_last(void) {
    printf("Testing StrLast\n");
    
    // Test StrBegin function
    bool test_str_begin(void) {
    printf("Testing StrBegin\n");
    
    // Test StrEnd function
    bool test_str_end(void) {
    printf("Testing StrEnd\n");
    
    // Test StrCharAt function
    bool test_str_char_at(void) {
    printf("Testing StrCharAt\n");
    
    // Test StrCharPtrAt function
    bool test_str_char_ptr_at(void) {
    printf("Testing StrCharPtrAt\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Access tests\n\n");
    
    // Function prototypes
    bool test_bitvec_to_string(void);
    bool test_bitvec_from_string(void);
    bool test_bitvec_to_bytes(void);
    // Function prototypes
    bool test_bitvec_to_string(void);
    bool test_bitvec_from_string(void);
    bool test_bitvec_to_bytes(void);
    bool test_bitvec_from_bytes(void);
    bool test_bitvec_to_string(void);
    bool test_bitvec_from_string(void);
    bool test_bitvec_to_bytes(void);
    bool test_bitvec_from_bytes(void);
    bool test_bitvec_to_integer(void);
    bool test_bitvec_from_string(void);
    bool test_bitvec_to_bytes(void);
    bool test_bitvec_from_bytes(void);
    bool test_bitvec_to_integer(void);
    bool test_bitvec_from_integer(void);
    bool test_bitvec_to_bytes(void);
    bool test_bitvec_from_bytes(void);
    bool test_bitvec_to_integer(void);
    bool test_bitvec_from_integer(void);
    bool test_bitvec_convert_edge_cases(void);
    bool test_bitvec_from_bytes(void);
    bool test_bitvec_to_integer(void);
    bool test_bitvec_from_integer(void);
    bool test_bitvec_convert_edge_cases(void);
    bool test_bitvec_from_string_edge_cases(void);
    bool test_bitvec_to_integer(void);
    bool test_bitvec_from_integer(void);
    bool test_bitvec_convert_edge_cases(void);
    bool test_bitvec_from_string_edge_cases(void);
    bool test_bitvec_bytes_conversion_edge_cases(void);
    bool test_bitvec_from_integer(void);
    bool test_bitvec_convert_edge_cases(void);
    bool test_bitvec_from_string_edge_cases(void);
    bool test_bitvec_bytes_conversion_edge_cases(void);
    bool test_bitvec_integer_conversion_edge_cases(void);
    bool test_bitvec_convert_edge_cases(void);
    bool test_bitvec_from_string_edge_cases(void);
    bool test_bitvec_bytes_conversion_edge_cases(void);
    bool test_bitvec_integer_conversion_edge_cases(void);
    bool test_bitvec_round_trip_conversions(void);
    bool test_bitvec_from_string_edge_cases(void);
    bool test_bitvec_bytes_conversion_edge_cases(void);
    bool test_bitvec_integer_conversion_edge_cases(void);
    bool test_bitvec_round_trip_conversions(void);
    bool test_bitvec_conversion_bounds_checking(void);
    bool test_bitvec_bytes_conversion_edge_cases(void);
    bool test_bitvec_integer_conversion_edge_cases(void);
    bool test_bitvec_round_trip_conversions(void);
    bool test_bitvec_conversion_bounds_checking(void);
    bool test_bitvec_conversion_comprehensive(void);
    bool test_bitvec_integer_conversion_edge_cases(void);
    bool test_bitvec_round_trip_conversions(void);
    bool test_bitvec_conversion_bounds_checking(void);
    bool test_bitvec_conversion_comprehensive(void);
    bool test_bitvec_large_scale_conversions(void);
    bool test_bitvec_round_trip_conversions(void);
    bool test_bitvec_conversion_bounds_checking(void);
    bool test_bitvec_conversion_comprehensive(void);
    bool test_bitvec_large_scale_conversions(void);
    bool test_bitvec_convert_null_failures(void);
    bool test_bitvec_conversion_bounds_checking(void);
    bool test_bitvec_conversion_comprehensive(void);
    bool test_bitvec_large_scale_conversions(void);
    bool test_bitvec_convert_null_failures(void);
    bool test_bitvec_from_string_null_failures(void);
    bool test_bitvec_conversion_comprehensive(void);
    bool test_bitvec_large_scale_conversions(void);
    bool test_bitvec_convert_null_failures(void);
    bool test_bitvec_from_string_null_failures(void);
    bool test_bitvec_bytes_null_failures(void);
    bool test_bitvec_large_scale_conversions(void);
    bool test_bitvec_convert_null_failures(void);
    bool test_bitvec_from_string_null_failures(void);
    bool test_bitvec_bytes_null_failures(void);
    bool test_bitvec_bytes_bounds_failures(void);
    bool test_bitvec_convert_null_failures(void);
    bool test_bitvec_from_string_null_failures(void);
    bool test_bitvec_bytes_null_failures(void);
    bool test_bitvec_bytes_bounds_failures(void);
    bool test_bitvec_integer_bounds_failures(void);
    bool test_bitvec_from_string_null_failures(void);
    bool test_bitvec_bytes_null_failures(void);
    bool test_bitvec_bytes_bounds_failures(void);
    bool test_bitvec_integer_bounds_failures(void);
    bool test_bitvec_bytes_null_failures(void);
    bool test_bitvec_bytes_bounds_failures(void);
    bool test_bitvec_integer_bounds_failures(void);
    
    // Test BitVecToStr function
    
    // Test BitVecToStr function
    bool test_bitvec_to_string(void) {
    printf("Testing BitVecToStr\n");
    
    // Test BitVecFromStr function
    bool test_bitvec_from_string(void) {
    printf("Testing BitVecFromStr\n");
    
    // Test BitVecToBytes function
    bool test_bitvec_to_bytes(void) {
    printf("Testing BitVecToBytes\n");
    
    // Test BitVecFromBytes function
    bool test_bitvec_from_bytes(void) {
    printf("Testing BitVecFromBytes\n");
    
    // Test BitVecToInteger function
    bool test_bitvec_to_integer(void) {
    printf("Testing BitVecToInteger\n");
    
    // Test BitVecFromInteger function
    bool test_bitvec_from_integer(void) {
    printf("Testing BitVecFromInteger\n");
    
    // Edge case tests
    bool test_bitvec_convert_edge_cases(void) {
    printf("Testing BitVec convert edge cases\n");
    }
    
    bool test_bitvec_from_string_edge_cases(void) {
    printf("Testing BitVecFromStr edge cases\n");
    }
    
    bool test_bitvec_bytes_conversion_edge_cases(void) {
    printf("Testing BitVec bytes conversion edge cases\n");
    }
    
    bool test_bitvec_integer_conversion_edge_cases(void) {
    printf("Testing BitVec integer conversion edge cases\n");
    
    // Round-trip conversion tests
    bool test_bitvec_round_trip_conversions(void) {
    printf("Testing BitVec round-trip conversions\n");
    
    // Bounds checking tests
    bool test_bitvec_conversion_bounds_checking(void) {
    printf("Testing BitVec conversion bounds checking\n");
    
    // Comprehensive conversion validation
    bool test_bitvec_conversion_comprehensive(void) {
    printf("Testing BitVec comprehensive conversion validation\n");
    
    // Large-scale conversion tests
    bool test_bitvec_large_scale_conversions(void) {
    printf("Testing BitVec large-scale conversions\n");
    
    // Enhanced deadend tests
    bool test_bitvec_bytes_bounds_failures(void) {
    printf("Testing BitVec bytes bounds failures\n");
    u8  small_buffer[1];
    u64 written = BitVecToBytes(&bv, small_buffer, 0); // 0 buffer size
    (void)written;                                     // Suppress unused variable warning
    
    // Should handle gracefully
    }
    
    bool test_bitvec_integer_bounds_failures(void) {
    printf("Testing BitVec integer bounds failures\n");
    // Test BitVecToInteger with NULL pointer - should abort
    u64 value = BitVecToInteger(NULL);
    (void)value; // Suppress unused variable warning
    
    return false;
    
    // Deadend tests
    bool test_bitvec_convert_null_failures(void) {
    printf("Testing BitVec convert NULL pointer handling\n");
    }
    
    bool test_bitvec_from_string_null_failures(void) {
    printf("Testing BitVec from string NULL handling\n");
    }
    
    bool test_bitvec_bytes_null_failures(void) {
    printf("Testing BitVec bytes NULL handling\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Convert tests\n\n");
    
    // Function prototypes
    bool test_str_init(void);
    bool test_str_init_from_cstr(void);
    bool test_str_init_from_zstr(void);
    // Function prototypes
    bool test_str_init(void);
    bool test_str_init_from_cstr(void);
    bool test_str_init_from_zstr(void);
    bool test_str_init_from_str(void);
    bool test_str_init(void);
    bool test_str_init_from_cstr(void);
    bool test_str_init_from_zstr(void);
    bool test_str_init_from_str(void);
    bool test_str_dup(void);
    bool test_str_init_from_cstr(void);
    bool test_str_init_from_zstr(void);
    bool test_str_init_from_str(void);
    bool test_str_dup(void);
    bool test_str_printf(void);
    bool test_str_init_from_zstr(void);
    bool test_str_init_from_str(void);
    bool test_str_dup(void);
    bool test_str_printf(void);
    bool test_str_init_stack(void);
    bool test_str_init_from_str(void);
    bool test_str_dup(void);
    bool test_str_printf(void);
    bool test_str_init_stack(void);
    bool test_str_init_copy(void);
    bool test_str_dup(void);
    bool test_str_printf(void);
    bool test_str_init_stack(void);
    bool test_str_init_copy(void);
    bool test_str_deinit(void);
    bool test_str_printf(void);
    bool test_str_init_stack(void);
    bool test_str_init_copy(void);
    bool test_str_deinit(void);
    bool test_str_init_stack(void);
    bool test_str_init_copy(void);
    bool test_str_deinit(void);
    
    // Test StrInit function
    
    // Test StrInit function
    bool test_str_init(void) {
    printf("Testing StrInit\n");
    
    // Test StrInitFromCstr function
    bool test_str_init_from_cstr(void) {
    printf("Testing StrInitFromCstr\n");
    
    // Test StrInitFromZstr function
    bool test_str_init_from_zstr(void) {
    printf("Testing StrInitFromZstr\n");
    
    // Test StrInitFromStr function
    bool test_str_init_from_str(void) {
    printf("Testing StrInitFromStr\n");
    
    // Test StrDup function (alias for StrInitFromStr)
    bool test_str_dup(void) {
    printf("Testing StrDup\n");
    
    // Test StrPrintf function
    bool test_str_printf(void) {
    printf("Testing StrPrintf\n");
    
    // Test StrInitStack macro
    bool test_str_init_stack(void) {
    printf("Testing StrInitStack\n");
    
    // Test StrInitCopy function
    bool test_str_init_copy(void) {
    printf("Testing StrInitCopy\n");
    
    // Test StrDeinit function
    bool test_str_deinit(void) {
    printf("Testing StrDeinit\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Init tests\n\n");
    
    // Function prototypes
    bool test_integer_decimal_reading(void);
    bool test_integer_hex_reading(void);
    bool test_integer_binary_reading(void);
    // Function prototypes
    bool test_integer_decimal_reading(void);
    bool test_integer_hex_reading(void);
    bool test_integer_binary_reading(void);
    bool test_integer_octal_reading(void);
    bool test_integer_decimal_reading(void);
    bool test_integer_hex_reading(void);
    bool test_integer_binary_reading(void);
    bool test_integer_octal_reading(void);
    bool test_float_basic_reading(void);
    bool test_integer_hex_reading(void);
    bool test_integer_binary_reading(void);
    bool test_integer_octal_reading(void);
    bool test_float_basic_reading(void);
    bool test_float_scientific_reading(void);
    bool test_integer_binary_reading(void);
    bool test_integer_octal_reading(void);
    bool test_float_basic_reading(void);
    bool test_float_scientific_reading(void);
    bool test_string_reading(void);
    bool test_integer_octal_reading(void);
    bool test_float_basic_reading(void);
    bool test_float_scientific_reading(void);
    bool test_string_reading(void);
    bool test_multiple_arguments_reading(void);
    bool test_float_basic_reading(void);
    bool test_float_scientific_reading(void);
    bool test_string_reading(void);
    bool test_multiple_arguments_reading(void);
    bool test_error_handling_reading(void);
    bool test_float_scientific_reading(void);
    bool test_string_reading(void);
    bool test_multiple_arguments_reading(void);
    bool test_error_handling_reading(void);
    bool test_character_ordinal_reading(void);
    bool test_string_reading(void);
    bool test_multiple_arguments_reading(void);
    bool test_error_handling_reading(void);
    bool test_character_ordinal_reading(void);
    bool test_string_case_conversion_reading(void);
    bool test_multiple_arguments_reading(void);
    bool test_error_handling_reading(void);
    bool test_character_ordinal_reading(void);
    bool test_string_case_conversion_reading(void);
    bool test_bitvec_reading(void);
    bool test_error_handling_reading(void);
    bool test_character_ordinal_reading(void);
    bool test_string_case_conversion_reading(void);
    bool test_bitvec_reading(void);
    bool test_character_ordinal_reading(void);
    bool test_string_case_conversion_reading(void);
    bool test_bitvec_reading(void);
    
    // Test decimal integer reading
    
    // Test decimal integer reading
    bool test_integer_decimal_reading(void) {
    printf("Testing integer decimal reading\n");
    
    // Test hexadecimal integer reading
    bool test_integer_hex_reading(void) {
    printf("Testing integer hexadecimal reading\n");
    
    // Test binary integer reading
    bool test_integer_binary_reading(void) {
    printf("Testing integer binary reading\n");
    
    // Test octal integer reading
    bool test_integer_octal_reading(void) {
    printf("Testing integer octal reading\n");
    
    // Test basic float reading
    bool test_float_basic_reading(void) {
    printf("Testing basic float reading\n");
    
    // Test scientific notation reading
    bool test_float_scientific_reading(void) {
    printf("Testing scientific notation reading\n");
    
    // Test string reading
    bool test_string_reading(void) {
    printf("Testing string reading\n");
    
    // Test reading multiple arguments
    bool test_multiple_arguments_reading(void) {
    printf("Testing multiple arguments reading\n");
    
    // Test error handling
    bool test_error_handling_reading(void) {
    printf("Testing error handling for reading\n");
    
    // Test character ordinal reading with :c format specifier
    bool test_character_ordinal_reading(void) {
    printf("Testing character ordinal reading with :c format specifier\n");
    
    // Test string case conversion with :a and :A format specifiers
    bool test_string_case_conversion_reading(void) {
    printf("Testing string case conversion with :a and :A format specifiers\n");
    
    // Test BitVec reading
    bool test_bitvec_reading(void) {
    printf("Testing BitVec reading\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting format reader tests\n\n");
    
    // Function prototypes
    bool test_bitvec_type_basic(void);
    bool test_bitvec_validate(void);
    // Function prototypes
    bool test_bitvec_type_basic(void);
    bool test_bitvec_validate(void);
    
    // Test basic BitVec type functionality
    
    // Test basic BitVec type functionality
    bool test_bitvec_type_basic(void) {
    printf("Testing basic BitVec type functionality\n");
    
    // Test ValidateBitVec macro
    bool test_bitvec_validate(void) {
    printf("Testing ValidateBitVec macro\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Type tests\n\n");
    
    // Function prototypes
    bool test_vec_swap_items(void);
    bool test_vec_reverse(void);
    bool test_vec_sort(void);
    // Function prototypes
    bool test_vec_swap_items(void);
    bool test_vec_reverse(void);
    bool test_vec_sort(void);
    bool test_vec_swap_items(void);
    bool test_vec_reverse(void);
    bool test_vec_sort(void);
    
    // Comparison function for sorting integers in ascending order
    
    // Comparison function for sorting integers in ascending order
    int compare_ints_asc(const void* a, const void* b) {
    int val_a = *(const int*)a;
    int val_b = *(const int*)b;
    
    // Comparison function for sorting integers in descending order
    int compare_ints_desc(const void* a, const void* b) {
    int val_a = *(const int*)a;
    int val_b = *(const int*)b;
    
    // Test VecSwapItems function
    bool test_vec_swap_items(void) {
    printf("Testing VecSwapItems\n");
    
    // Test VecReverse function
    bool test_vec_reverse(void) {
    printf("Testing VecReverse\n");
    
    // Test VecSort function
    bool test_vec_sort(void) {
    printf("Testing VecSort\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Vec.Ops tests\n\n");
    
    // Function prototypes
    bool test_bitvec_foreach_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    // Function prototypes
    bool test_bitvec_foreach_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_reverse_idx(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_reverse(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_in_range_idx(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_in_range(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_edge_cases(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_idx_edge_cases(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_foreach_reverse_edge_cases(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_foreach_range_edge_cases(void);
    bool test_bitvec_foreach_stress_test(void);
    bool test_bitvec_foreach_invalid_usage(void);
    
    // BitVecRunLengths test prototypes
    
    // BitVecRunLengths test prototypes
    bool test_bitvec_run_lengths_basic(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    // BitVecRunLengths test prototypes
    bool test_bitvec_run_lengths_basic(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_basic(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_edge_cases(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_boundary_conditions(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_stress_test(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    
    
    // Test BitVecForeachIdx macro
    bool test_bitvec_foreach_idx(void) {
    printf("Testing BitVecForeachIdx macro\n");
    
    // Test BitVecForeach macro
    bool test_bitvec_foreach(void) {
    printf("Testing BitVecForeach macro\n");
    
    // Test BitVecForeachReverseIdx macro
    bool test_bitvec_foreach_reverse_idx(void) {
    printf("Testing BitVecForeachReverseIdx macro\n");
    
    // Test BitVecForeachReverse macro
    bool test_bitvec_foreach_reverse(void) {
    printf("Testing BitVecForeachReverse macro\n");
    
    // Test BitVecForeachInRangeIdx macro
    bool test_bitvec_foreach_in_range_idx(void) {
    printf("Testing BitVecForeachInRangeIdx macro\n");
    
    // Test BitVecForeachInRange macro
    bool test_bitvec_foreach_in_range(void) {
    printf("Testing BitVecForeachInRange macro\n");
    
    // Edge case tests
    bool test_bitvec_foreach_edge_cases(void) {
    printf("Testing BitVec foreach edge cases\n");
    // Test foreach on empty bitvec
    BitVecForeach(&bv, bit, {
    (void)bit;
    count++; // Should not execute
    });
    count = 0;
    BitVecForeach(&bv, bit, {
    (void)bit;
    count++;
    });
    }
    
    bool test_bitvec_foreach_idx_edge_cases(void) {
    printf("Testing BitVec foreach idx edge cases\n");
    // Test foreach idx on empty bitvec
    BitVecForeachIdx(&bv, bit, idx, {
    (void)bit;
    result = false; // Should not execute
    });
    u64 expected_idx = 0;
    BitVecForeachIdx(&bv, bit, idx, {
    (void)bit;
    result = result && (idx == expected_idx);
    expected_idx++;
    }
    
    bool test_bitvec_foreach_reverse_edge_cases(void) {
    printf("Testing BitVec foreach reverse edge cases\n");
    // Test reverse foreach on empty bitvec
    BitVecForeachReverse(&bv, bit, {
    (void)bit;
    result = false; // Should not execute
    });
    }
    
    bool test_bitvec_foreach_range_edge_cases(void) {
    printf("Testing BitVec foreach range edge cases\n");
    int count = 0;
    BitVecForeachInRange(&bv, bit, 5, 5, {
    (void)bit;
    count++; // Should not execute
    });
    count = 0;
    BitVecForeachInRange(&bv, bit, 0, 2, {
    (void)bit;
    count++;
    });
    count = 0;
    BitVecForeachInRange(&bv, bit, 8, 10, {
    (void)bit;
    count++;
    });
    }
    
    bool test_bitvec_foreach_stress_test(void) {
    printf("Testing BitVec foreach stress test\n");
    
    BitVecForeach(&bv, bitval, {
    (void)bitval;
    count1++;
    });
    });
    BitVecForeachIdx(&bv, bitval, i, {
    (void)bitval;
    count2++;
    });
    });
    BitVecForeachReverse(&bv, bitval, {
    (void)bitval;
    count3++;
    });
    });
    BitVecForeachReverseIdx(&bv, bitval, i, {
    (void)bitval;
    count4++;
    });
    // BitVecRunLengths test implementations
    
    bool test_bitvec_run_lengths_basic(void) {
    printf("Testing BitVecRunLengths basic functionality\n");
    }
    
    bool test_bitvec_run_lengths_edge_cases(void) {
    printf("Testing BitVecRunLengths edge cases\n");
    }
    
    bool test_bitvec_run_lengths_boundary_conditions(void) {
    printf("Testing BitVecRunLengths boundary conditions\n");
    }
    
    bool test_bitvec_run_lengths_stress_test(void) {
    printf("Testing BitVecRunLengths stress test\n");
    
    // Main function that runs all simple tests
    int main(void) {
    printf("[INFO] Starting BitVec.Foreach.Simple tests\n\n");
    
    // Function prototypes
    bool test_str_cmp(void);
    bool test_str_find(void);
    bool test_str_starts_ends_with(void);
    // Function prototypes
    bool test_str_cmp(void);
    bool test_str_find(void);
    bool test_str_starts_ends_with(void);
    bool test_str_replace(void);
    bool test_str_cmp(void);
    bool test_str_find(void);
    bool test_str_starts_ends_with(void);
    bool test_str_replace(void);
    bool test_str_split(void);
    bool test_str_find(void);
    bool test_str_starts_ends_with(void);
    bool test_str_replace(void);
    bool test_str_split(void);
    bool test_str_strip(void);
    bool test_str_starts_ends_with(void);
    bool test_str_replace(void);
    bool test_str_split(void);
    bool test_str_strip(void);
    bool test_str_replace(void);
    bool test_str_split(void);
    bool test_str_strip(void);
    
    // Test string comparison functions
    
    // Test string comparison functions
    bool test_str_cmp(void) {
    printf("Testing StrCmp and StrCmpCstr\n");
    
    // Test string find functions
    bool test_str_find(void) {
    printf("Testing StrFindStr, StrFindZstr, and StrFindCstr\n");
    
    // Test string starts/ends with functions
    bool test_str_starts_ends_with(void) {
    printf("Testing StrStartsWith and StrEndsWith variants\n");
    
    // Test string replace functions
    bool test_str_replace(void) {
    printf("Testing StrReplace variants\n");
    
    // Test string split functions
    bool test_str_split(void) {
    printf("Testing StrSplit and StrSplitToIters\n");
    
    // Test string strip functions
    bool test_str_strip(void) {
    printf("Testing StrStrip variants\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting Str.Ops tests\n\n");
    
    // Function prototypes
    bool test_bitvec_basic_pattern_functions(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    // Function prototypes
    bool test_bitvec_basic_pattern_functions(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_basic_pattern_functions(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    
    // Test basic pattern matching functions
    
    // Test basic pattern matching functions
    bool test_bitvec_basic_pattern_functions(void) {
    printf("Testing basic BitVec pattern functions\n");
    
    // Test BitVecFindPattern function comprehensively
    bool test_bitvec_find_pattern(void) {
    printf("Testing BitVecFindPattern function\n");
    
    // Test BitVecFindLastPattern function
    bool test_bitvec_find_last_pattern(void) {
    printf("Testing BitVecFindLastPattern function\n");
    
    // Test BitVecFindAllPattern function
    bool test_bitvec_find_all_pattern(void) {
    printf("Testing BitVecFindAllPattern function\n");
    
    // Test edge cases for pattern functions
    bool test_bitvec_pattern_edge_cases(void) {
    printf("Testing BitVec pattern edge cases\n");
    
    // Stress tests with large data
    bool test_bitvec_pattern_stress_tests(void) {
    printf("Testing BitVec pattern stress tests\n");
    
    // BitVecStartsWith tests
    bool test_bitvec_starts_with_basic(void) {
    printf("Testing BitVecStartsWith basic functionality\n");
    }
    
    bool test_bitvec_starts_with_edge_cases(void) {
    printf("Testing BitVecStartsWith edge cases\n");
    
    // BitVecEndsWith tests
    bool test_bitvec_ends_with_basic(void) {
    printf("Testing BitVecEndsWith basic functionality\n");
    }
    
    bool test_bitvec_ends_with_edge_cases(void) {
    printf("Testing BitVecEndsWith edge cases\n");
    
    // BitVecFindPattern tests (replacing BitVecContains)
    bool test_bitvec_contains_basic(void) {
    printf("Testing BitVecFindPattern basic functionality\n");
    
    // BitVecContainsAt tests
    bool test_bitvec_contains_at_basic(void) {
    printf("Testing BitVecContainsAt basic functionality\n");
    }
    
    bool test_bitvec_contains_at_edge_cases(void) {
    printf("Testing BitVecContainsAt edge cases\n");
    
    // BitVecCountPattern tests
    bool test_bitvec_count_pattern_basic(void) {
    printf("Testing BitVecCountPattern basic functionality\n");
    
    // BitVecRFindPattern tests
    bool test_bitvec_rfind_pattern_basic(void) {
    printf("Testing BitVecRFindPattern basic functionality\n");
    
    // BitVecReplace tests
    bool test_bitvec_replace_basic(void) {
    printf("Testing BitVecReplace basic functionality\n");
    
    // BitVecReplaceAll tests
    bool test_bitvec_replace_all_basic(void) {
    printf("Testing BitVecReplaceAll basic functionality\n");
    
    // BitVecMatches tests
    bool test_bitvec_matches_basic(void) {
    printf("Testing BitVecMatches basic functionality\n");
    
    // BitVecFuzzyMatch tests
    bool test_bitvec_fuzzy_match_basic(void) {
    printf("Testing BitVecFuzzyMatch basic functionality\n");
    
    // BitVecRegexMatch tests
    bool test_bitvec_regex_match_basic(void) {
    printf("Testing BitVecRegexMatch basic functionality\n");
    
    // BitVecPrefixMatch tests
    bool test_bitvec_prefix_match_basic(void) {
    printf("Testing BitVecPrefixMatch basic functionality\n");
    
    // BitVecSuffixMatch tests
    bool test_bitvec_suffix_match_basic(void) {
    printf("Testing BitVecSuffixMatch basic functionality\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Pattern.Simple tests\n\n");
    
    // Function prototypes for all Math tests
    bool test_bitvec_hamming_distance_basic(void);
    bool test_bitvec_hamming_distance_edge_cases(void);
    bool test_bitvec_jaccard_similarity_basic(void);
    // Function prototypes for all Math tests
    bool test_bitvec_hamming_distance_basic(void);
    bool test_bitvec_hamming_distance_edge_cases(void);
    bool test_bitvec_jaccard_similarity_basic(void);
    bool test_bitvec_jaccard_similarity_edge_cases(void);
    bool test_bitvec_hamming_distance_basic(void);
    bool test_bitvec_hamming_distance_edge_cases(void);
    bool test_bitvec_jaccard_similarity_basic(void);
    bool test_bitvec_jaccard_similarity_edge_cases(void);
    bool test_bitvec_cosine_similarity_basic(void);
    bool test_bitvec_hamming_distance_edge_cases(void);
    bool test_bitvec_jaccard_similarity_basic(void);
    bool test_bitvec_jaccard_similarity_edge_cases(void);
    bool test_bitvec_cosine_similarity_basic(void);
    bool test_bitvec_cosine_similarity_edge_cases(void);
    bool test_bitvec_jaccard_similarity_basic(void);
    bool test_bitvec_jaccard_similarity_edge_cases(void);
    bool test_bitvec_cosine_similarity_basic(void);
    bool test_bitvec_cosine_similarity_edge_cases(void);
    bool test_bitvec_dot_product_basic(void);
    bool test_bitvec_jaccard_similarity_edge_cases(void);
    bool test_bitvec_cosine_similarity_basic(void);
    bool test_bitvec_cosine_similarity_edge_cases(void);
    bool test_bitvec_dot_product_basic(void);
    bool test_bitvec_dot_product_edge_cases(void);
    bool test_bitvec_cosine_similarity_basic(void);
    bool test_bitvec_cosine_similarity_edge_cases(void);
    bool test_bitvec_dot_product_basic(void);
    bool test_bitvec_dot_product_edge_cases(void);
    bool test_bitvec_edit_distance_basic(void);
    bool test_bitvec_cosine_similarity_edge_cases(void);
    bool test_bitvec_dot_product_basic(void);
    bool test_bitvec_dot_product_edge_cases(void);
    bool test_bitvec_edit_distance_basic(void);
    bool test_bitvec_edit_distance_edge_cases(void);
    bool test_bitvec_dot_product_basic(void);
    bool test_bitvec_dot_product_edge_cases(void);
    bool test_bitvec_edit_distance_basic(void);
    bool test_bitvec_edit_distance_edge_cases(void);
    bool test_bitvec_correlation_basic(void);
    bool test_bitvec_dot_product_edge_cases(void);
    bool test_bitvec_edit_distance_basic(void);
    bool test_bitvec_edit_distance_edge_cases(void);
    bool test_bitvec_correlation_basic(void);
    bool test_bitvec_correlation_edge_cases(void);
    bool test_bitvec_edit_distance_basic(void);
    bool test_bitvec_edit_distance_edge_cases(void);
    bool test_bitvec_correlation_basic(void);
    bool test_bitvec_correlation_edge_cases(void);
    bool test_bitvec_entropy_basic(void);
    bool test_bitvec_edit_distance_edge_cases(void);
    bool test_bitvec_correlation_basic(void);
    bool test_bitvec_correlation_edge_cases(void);
    bool test_bitvec_entropy_basic(void);
    bool test_bitvec_entropy_edge_cases(void);
    bool test_bitvec_correlation_basic(void);
    bool test_bitvec_correlation_edge_cases(void);
    bool test_bitvec_entropy_basic(void);
    bool test_bitvec_entropy_edge_cases(void);
    bool test_bitvec_alignment_score_basic(void);
    bool test_bitvec_correlation_edge_cases(void);
    bool test_bitvec_entropy_basic(void);
    bool test_bitvec_entropy_edge_cases(void);
    bool test_bitvec_alignment_score_basic(void);
    bool test_bitvec_alignment_score_edge_cases(void);
    bool test_bitvec_entropy_basic(void);
    bool test_bitvec_entropy_edge_cases(void);
    bool test_bitvec_alignment_score_basic(void);
    bool test_bitvec_alignment_score_edge_cases(void);
    bool test_bitvec_best_alignment_basic(void);
    bool test_bitvec_entropy_edge_cases(void);
    bool test_bitvec_alignment_score_basic(void);
    bool test_bitvec_alignment_score_edge_cases(void);
    bool test_bitvec_best_alignment_basic(void);
    bool test_bitvec_best_alignment_edge_cases(void);
    bool test_bitvec_alignment_score_basic(void);
    bool test_bitvec_alignment_score_edge_cases(void);
    bool test_bitvec_best_alignment_basic(void);
    bool test_bitvec_best_alignment_edge_cases(void);
    bool test_bitvec_math_stress_tests(void);
    bool test_bitvec_alignment_score_edge_cases(void);
    bool test_bitvec_best_alignment_basic(void);
    bool test_bitvec_best_alignment_edge_cases(void);
    bool test_bitvec_math_stress_tests(void);
    bool test_bitvec_best_alignment_basic(void);
    bool test_bitvec_best_alignment_edge_cases(void);
    bool test_bitvec_math_stress_tests(void);
    
    // Deadend tests
    
    // Deadend tests
    bool test_bitvec_hamming_distance_null_bv1(void);
    bool test_bitvec_hamming_distance_null_bv2(void);
    bool test_bitvec_jaccard_similarity_null_bv1(void);
    // Deadend tests
    bool test_bitvec_hamming_distance_null_bv1(void);
    bool test_bitvec_hamming_distance_null_bv2(void);
    bool test_bitvec_jaccard_similarity_null_bv1(void);
    bool test_bitvec_jaccard_similarity_null_bv2(void);
    bool test_bitvec_hamming_distance_null_bv1(void);
    bool test_bitvec_hamming_distance_null_bv2(void);
    bool test_bitvec_jaccard_similarity_null_bv1(void);
    bool test_bitvec_jaccard_similarity_null_bv2(void);
    bool test_bitvec_cosine_similarity_null_bv1(void);
    bool test_bitvec_hamming_distance_null_bv2(void);
    bool test_bitvec_jaccard_similarity_null_bv1(void);
    bool test_bitvec_jaccard_similarity_null_bv2(void);
    bool test_bitvec_cosine_similarity_null_bv1(void);
    bool test_bitvec_cosine_similarity_null_bv2(void);
    bool test_bitvec_jaccard_similarity_null_bv1(void);
    bool test_bitvec_jaccard_similarity_null_bv2(void);
    bool test_bitvec_cosine_similarity_null_bv1(void);
    bool test_bitvec_cosine_similarity_null_bv2(void);
    bool test_bitvec_dot_product_null_bv1(void);
    bool test_bitvec_jaccard_similarity_null_bv2(void);
    bool test_bitvec_cosine_similarity_null_bv1(void);
    bool test_bitvec_cosine_similarity_null_bv2(void);
    bool test_bitvec_dot_product_null_bv1(void);
    bool test_bitvec_dot_product_null_bv2(void);
    bool test_bitvec_cosine_similarity_null_bv1(void);
    bool test_bitvec_cosine_similarity_null_bv2(void);
    bool test_bitvec_dot_product_null_bv1(void);
    bool test_bitvec_dot_product_null_bv2(void);
    bool test_bitvec_edit_distance_null_bv1(void);
    bool test_bitvec_cosine_similarity_null_bv2(void);
    bool test_bitvec_dot_product_null_bv1(void);
    bool test_bitvec_dot_product_null_bv2(void);
    bool test_bitvec_edit_distance_null_bv1(void);
    bool test_bitvec_edit_distance_null_bv2(void);
    bool test_bitvec_dot_product_null_bv1(void);
    bool test_bitvec_dot_product_null_bv2(void);
    bool test_bitvec_edit_distance_null_bv1(void);
    bool test_bitvec_edit_distance_null_bv2(void);
    bool test_bitvec_correlation_null_bv1(void);
    bool test_bitvec_dot_product_null_bv2(void);
    bool test_bitvec_edit_distance_null_bv1(void);
    bool test_bitvec_edit_distance_null_bv2(void);
    bool test_bitvec_correlation_null_bv1(void);
    bool test_bitvec_correlation_null_bv2(void);
    bool test_bitvec_edit_distance_null_bv1(void);
    bool test_bitvec_edit_distance_null_bv2(void);
    bool test_bitvec_correlation_null_bv1(void);
    bool test_bitvec_correlation_null_bv2(void);
    bool test_bitvec_entropy_null(void);
    bool test_bitvec_edit_distance_null_bv2(void);
    bool test_bitvec_correlation_null_bv1(void);
    bool test_bitvec_correlation_null_bv2(void);
    bool test_bitvec_entropy_null(void);
    bool test_bitvec_alignment_score_null_bv1(void);
    bool test_bitvec_correlation_null_bv1(void);
    bool test_bitvec_correlation_null_bv2(void);
    bool test_bitvec_entropy_null(void);
    bool test_bitvec_alignment_score_null_bv1(void);
    bool test_bitvec_alignment_score_null_bv2(void);
    bool test_bitvec_correlation_null_bv2(void);
    bool test_bitvec_entropy_null(void);
    bool test_bitvec_alignment_score_null_bv1(void);
    bool test_bitvec_alignment_score_null_bv2(void);
    bool test_bitvec_best_alignment_null_bv1(void);
    bool test_bitvec_entropy_null(void);
    bool test_bitvec_alignment_score_null_bv1(void);
    bool test_bitvec_alignment_score_null_bv2(void);
    bool test_bitvec_best_alignment_null_bv1(void);
    bool test_bitvec_best_alignment_null_bv2(void);
    bool test_bitvec_alignment_score_null_bv1(void);
    bool test_bitvec_alignment_score_null_bv2(void);
    bool test_bitvec_best_alignment_null_bv1(void);
    bool test_bitvec_best_alignment_null_bv2(void);
    bool test_bitvec_alignment_score_null_bv2(void);
    bool test_bitvec_best_alignment_null_bv1(void);
    bool test_bitvec_best_alignment_null_bv2(void);
    
    // Test BitVecHammingDistance basic functionality
    
    // Test BitVecHammingDistance basic functionality
    bool test_bitvec_hamming_distance_basic(void) {
    printf("Testing BitVecHammingDistance basic functionality\n");
    
    // Test BitVecHammingDistance edge cases
    bool test_bitvec_hamming_distance_edge_cases(void) {
    printf("Testing BitVecHammingDistance edge cases\n");
    
    // Test BitVecJaccardSimilarity basic functionality
    bool test_bitvec_jaccard_similarity_basic(void) {
    printf("Testing BitVecJaccardSimilarity basic functionality\n");
    
    // Test BitVecJaccardSimilarity edge cases
    bool test_bitvec_jaccard_similarity_edge_cases(void) {
    printf("Testing BitVecJaccardSimilarity edge cases\n");
    
    // Test BitVecCosineSimilarity basic functionality
    bool test_bitvec_cosine_similarity_basic(void) {
    printf("Testing BitVecCosineSimilarity basic functionality\n");
    
    // Test BitVecCosineSimilarity edge cases
    bool test_bitvec_cosine_similarity_edge_cases(void) {
    printf("Testing BitVecCosineSimilarity edge cases\n");
    
    // Test BitVecDotProduct basic functionality
    bool test_bitvec_dot_product_basic(void) {
    printf("Testing BitVecDotProduct basic functionality\n");
    
    // Test BitVecDotProduct edge cases
    bool test_bitvec_dot_product_edge_cases(void) {
    printf("Testing BitVecDotProduct edge cases\n");
    
    // Test BitVecEditDistance basic functionality
    bool test_bitvec_edit_distance_basic(void) {
    printf("Testing BitVecEditDistance basic functionality\n");
    
    // Test BitVecEditDistance edge cases
    bool test_bitvec_edit_distance_edge_cases(void) {
    printf("Testing BitVecEditDistance edge cases\n");
    
    // Test BitVecCorrelation basic functionality
    bool test_bitvec_correlation_basic(void) {
    printf("Testing BitVecCorrelation basic functionality\n");
    
    // Test BitVecCorrelation edge cases
    bool test_bitvec_correlation_edge_cases(void) {
    printf("Testing BitVecCorrelation edge cases\n");
    
    // Test BitVecEntropy basic functionality
    bool test_bitvec_entropy_basic(void) {
    printf("Testing BitVecEntropy basic functionality\n");
    
    // Test BitVecEntropy edge cases
    bool test_bitvec_entropy_edge_cases(void) {
    printf("Testing BitVecEntropy edge cases\n");
    
    // Test BitVecAlignmentScore basic functionality
    bool test_bitvec_alignment_score_basic(void) {
    printf("Testing BitVecAlignmentScore basic functionality\n");
    
    // Test BitVecAlignmentScore edge cases
    bool test_bitvec_alignment_score_edge_cases(void) {
    printf("Testing BitVecAlignmentScore edge cases\n");
    
    // Test BitVecBestAlignment basic functionality
    bool test_bitvec_best_alignment_basic(void) {
    printf("Testing BitVecBestAlignment basic functionality\n");
    
    // Test BitVecBestAlignment edge cases
    bool test_bitvec_best_alignment_edge_cases(void) {
    printf("Testing BitVecBestAlignment edge cases\n");
    
    // Stress test for Math functions
    bool test_bitvec_math_stress_tests(void) {
    printf("Testing BitVec Math stress tests\n");
    // Deadend tests - each function with NULL parameters
    
    bool test_bitvec_hamming_distance_null_bv1(void) {
    printf("Testing BitVecHammingDistance(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_hamming_distance_null_bv2(void) {
    printf("Testing BitVecHammingDistance(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_jaccard_similarity_null_bv1(void) {
    printf("Testing BitVecJaccardSimilarity(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_jaccard_similarity_null_bv2(void) {
    printf("Testing BitVecJaccardSimilarity(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_cosine_similarity_null_bv1(void) {
    printf("Testing BitVecCosineSimilarity(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_cosine_similarity_null_bv2(void) {
    printf("Testing BitVecCosineSimilarity(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_dot_product_null_bv1(void) {
    printf("Testing BitVecDotProduct(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_dot_product_null_bv2(void) {
    printf("Testing BitVecDotProduct(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_edit_distance_null_bv1(void) {
    printf("Testing BitVecEditDistance(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_edit_distance_null_bv2(void) {
    printf("Testing BitVecEditDistance(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_correlation_null_bv1(void) {
    printf("Testing BitVecCorrelation(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_correlation_null_bv2(void) {
    printf("Testing BitVecCorrelation(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_entropy_null(void) {
    printf("Testing BitVecEntropy(NULL) - should fatal\n");
    BitVecEntropy(NULL);
    }
    
    bool test_bitvec_alignment_score_null_bv1(void) {
    printf("Testing BitVecAlignmentScore(NULL, bv2, 1, -1) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_alignment_score_null_bv2(void) {
    printf("Testing BitVecAlignmentScore(bv1, NULL, 1, -1) - should fatal\n");
    BitVec bv1 = BitVecInit();
    }
    
    bool test_bitvec_best_alignment_null_bv1(void) {
    printf("Testing BitVecBestAlignment(NULL, bv2) - should fatal\n");
    BitVec bv2 = BitVecInit();
    }
    
    bool test_bitvec_best_alignment_null_bv2(void) {
    printf("Testing BitVecBestAlignment(bv1, NULL) - should fatal\n");
    BitVec bv1 = BitVecInit();
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Math tests\n\n");
    
    // Function prototypes
    bool test_bitvec_basic_pattern_functions(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    // Function prototypes
    bool test_bitvec_basic_pattern_functions(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_basic_pattern_functions(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_find_pattern(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_last_pattern(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_all_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_pattern_edge_cases(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_pattern_stress_tests(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_last_pattern_null_source(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_last_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_find_all_pattern_null_source(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_find_all_pattern_null_pattern(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_find_all_pattern_null_results(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_find_all_pattern_zero_max_results(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_starts_with_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_starts_with_edge_cases(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_ends_with_basic(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_ends_with_edge_cases(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_contains_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_contains_at_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_contains_at_edge_cases(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_count_pattern_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_rfind_pattern_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_replace_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_replace_all_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_matches_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_fuzzy_match_basic(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_regex_match_basic(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_prefix_match_basic(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_suffix_match_basic(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_starts_with_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_starts_with_null_prefix(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_ends_with_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_ends_with_null_suffix(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_contains_at_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_contains_at_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_replace_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_matches_null_source(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_regex_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_regex_match_null_pattern(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    bool test_bitvec_prefix_match_null_source(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    bool test_bitvec_prefix_match_null_patterns(void);
    bool test_bitvec_suffix_match_null_source(void);
    bool test_bitvec_suffix_match_null_patterns(void);
    
    // Test basic pattern matching functions
    
    // Test basic pattern matching functions
    bool test_bitvec_basic_pattern_functions(void) {
    printf("Testing basic BitVec pattern functions\n");
    
    // Test BitVecFindPattern function comprehensively
    bool test_bitvec_find_pattern(void) {
    printf("Testing BitVecFindPattern function\n");
    
    // Test BitVecFindLastPattern function
    bool test_bitvec_find_last_pattern(void) {
    printf("Testing BitVecFindLastPattern function\n");
    
    // Test BitVecFindAllPattern function
    bool test_bitvec_find_all_pattern(void) {
    printf("Testing BitVecFindAllPattern function\n");
    
    // Test edge cases for pattern functions
    bool test_bitvec_pattern_edge_cases(void) {
    printf("Testing BitVec pattern edge cases\n");
    
    // Stress tests with large data
    bool test_bitvec_pattern_stress_tests(void) {
    printf("Testing BitVec pattern stress tests\n");
    
    // Deadend test 1: BitVecFindPattern with NULL source
    bool test_bitvec_find_pattern_null_source(void) {
    printf("Testing BitVecFindPattern(NULL, pattern) - should fatal\n");
    
    // Deadend test 2: BitVecFindPattern with NULL pattern
    bool test_bitvec_find_pattern_null_pattern(void) {
    printf("Testing BitVecFindPattern(source, NULL) - should fatal\n");
    
    // Deadend test 3: BitVecFindLastPattern with NULL source
    bool test_bitvec_find_last_pattern_null_source(void) {
    printf("Testing BitVecFindLastPattern(NULL, pattern) - should fatal\n");
    
    // Deadend test 4: BitVecFindLastPattern with NULL pattern
    bool test_bitvec_find_last_pattern_null_pattern(void) {
    printf("Testing BitVecFindLastPattern(source, NULL) - should fatal\n");
    
    // Deadend test 5: BitVecFindAllPattern with NULL source
    bool test_bitvec_find_all_pattern_null_source(void) {
    printf("Testing BitVecFindAllPattern(NULL, pattern, results, 10) - should fatal\n");
    
    // Deadend test 6: BitVecFindAllPattern with NULL pattern
    bool test_bitvec_find_all_pattern_null_pattern(void) {
    printf("Testing BitVecFindAllPattern(source, NULL, results, 10) - should fatal\n");
    
    // Deadend test 7: BitVecFindAllPattern with NULL results
    bool test_bitvec_find_all_pattern_null_results(void) {
    printf("Testing BitVecFindAllPattern(source, pattern, NULL, 10) - should fatal\n");
    
    // Deadend test 8: BitVecFindAllPattern with zero max_results
    bool test_bitvec_find_all_pattern_zero_max_results(void) {
    printf("Testing BitVecFindAllPattern(source, pattern, results, 0) - should fatal\n");
    
    // BitVecStartsWith tests
    bool test_bitvec_starts_with_basic(void) {
    printf("Testing BitVecStartsWith basic functionality\n");
    }
    
    bool test_bitvec_starts_with_edge_cases(void) {
    printf("Testing BitVecStartsWith edge cases\n");
    
    // BitVecEndsWith tests
    bool test_bitvec_ends_with_basic(void) {
    printf("Testing BitVecEndsWith basic functionality\n");
    }
    
    bool test_bitvec_ends_with_edge_cases(void) {
    printf("Testing BitVecEndsWith edge cases\n");
    
    // BitVecContains tests
    bool test_bitvec_contains_basic(void) {
    printf("Testing BitVecContains basic functionality\n");
    
    // BitVecContainsAt tests
    bool test_bitvec_contains_at_basic(void) {
    printf("Testing BitVecContainsAt basic functionality\n");
    }
    
    bool test_bitvec_contains_at_edge_cases(void) {
    printf("Testing BitVecContainsAt edge cases\n");
    
    // BitVecCountPattern tests
    bool test_bitvec_count_pattern_basic(void) {
    printf("Testing BitVecCountPattern basic functionality\n");
    
    // BitVecRFindPattern tests
    bool test_bitvec_rfind_pattern_basic(void) {
    printf("Testing BitVecRFindPattern basic functionality\n");
    
    // BitVecReplace tests
    bool test_bitvec_replace_basic(void) {
    printf("Testing BitVecReplace basic functionality\n");
    
    // BitVecReplaceAll tests
    bool test_bitvec_replace_all_basic(void) {
    printf("Testing BitVecReplaceAll basic functionality\n");
    
    // BitVecMatches tests
    bool test_bitvec_matches_basic(void) {
    printf("Testing BitVecMatches basic functionality\n");
    
    // BitVecFuzzyMatch tests
    bool test_bitvec_fuzzy_match_basic(void) {
    printf("Testing BitVecFuzzyMatch basic functionality\n");
    
    // BitVecRegexMatch tests
    bool test_bitvec_regex_match_basic(void) {
    printf("Testing BitVecRegexMatch basic functionality\n");
    
    // BitVecPrefixMatch tests
    bool test_bitvec_prefix_match_basic(void) {
    printf("Testing BitVecPrefixMatch basic functionality\n");
    
    // BitVecSuffixMatch tests
    bool test_bitvec_suffix_match_basic(void) {
    printf("Testing BitVecSuffixMatch basic functionality\n");
    // Additional deadend tests for missing Pattern functions
    
    bool test_bitvec_starts_with_null_source(void) {
    printf("Testing BitVecStartsWith(NULL, prefix) - should fatal\n");
    BitVec prefix = BitVecInit();
    }
    
    bool test_bitvec_starts_with_null_prefix(void) {
    printf("Testing BitVecStartsWith(source, NULL) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_ends_with_null_source(void) {
    printf("Testing BitVecEndsWith(NULL, suffix) - should fatal\n");
    BitVec suffix = BitVecInit();
    }
    
    bool test_bitvec_ends_with_null_suffix(void) {
    printf("Testing BitVecEndsWith(source, NULL) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_contains_at_null_source(void) {
    printf("Testing BitVecContainsAt(NULL, pattern, 0) - should fatal\n");
    BitVec pattern = BitVecInit();
    }
    
    bool test_bitvec_contains_at_null_pattern(void) {
    printf("Testing BitVecContainsAt(source, NULL, 0) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_replace_null_source(void) {
    printf("Testing BitVecReplace(NULL, old, new) - should fatal\n");
    }
    
    bool test_bitvec_matches_null_source(void) {
    printf("Testing BitVecMatches(NULL, pattern, wildcard) - should fatal\n");
    BitVec pattern  = BitVecInit();
    }
    
    bool test_bitvec_regex_match_null_source(void) {
    printf("Testing BitVecRegexMatch(NULL, pattern) - should fatal\n");
    BitVecRegexMatch(NULL, "101");
    }
    
    bool test_bitvec_regex_match_null_pattern(void) {
    printf("Testing BitVecRegexMatch(source, NULL) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_prefix_match_null_source(void) {
    printf("Testing BitVecPrefixMatch(NULL, patterns, 1) - should fatal\n");
    BitVec patterns[1] = {BitVecInit()};
    }
    
    bool test_bitvec_prefix_match_null_patterns(void) {
    printf("Testing BitVecPrefixMatch(source, NULL, 1) - should fatal\n");
    BitVec source = BitVecInit();
    }
    
    bool test_bitvec_suffix_match_null_source(void) {
    printf("Testing BitVecSuffixMatch(NULL, patterns, 1) - should fatal\n");
    BitVec patterns[1] = {BitVecInit()};
    }
    
    bool test_bitvec_suffix_match_null_patterns(void) {
    printf("Testing BitVecSuffixMatch(source, NULL, 1) - should fatal\n");
    BitVec source = BitVecInit();
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Pattern tests\n\n");
    
    // Function prototypes for deadend tests
    bool test_bitvec_bitwise_null_failures(void);
    bool test_bitvec_bitwise_ops_null_failures(void);
    bool test_bitvec_reverse_null_failures(void);
    // Function prototypes for deadend tests
    bool test_bitvec_bitwise_null_failures(void);
    bool test_bitvec_bitwise_ops_null_failures(void);
    bool test_bitvec_reverse_null_failures(void);
    bool test_bitvec_shift_ops_null_failures(void);
    bool test_bitvec_bitwise_null_failures(void);
    bool test_bitvec_bitwise_ops_null_failures(void);
    bool test_bitvec_reverse_null_failures(void);
    bool test_bitvec_shift_ops_null_failures(void);
    bool test_bitvec_rotate_ops_null_failures(void);
    bool test_bitvec_bitwise_ops_null_failures(void);
    bool test_bitvec_reverse_null_failures(void);
    bool test_bitvec_shift_ops_null_failures(void);
    bool test_bitvec_rotate_ops_null_failures(void);
    bool test_bitvec_and_result_null_failures(void);
    bool test_bitvec_reverse_null_failures(void);
    bool test_bitvec_shift_ops_null_failures(void);
    bool test_bitvec_rotate_ops_null_failures(void);
    bool test_bitvec_and_result_null_failures(void);
    bool test_bitvec_or_operand_null_failures(void);
    bool test_bitvec_shift_ops_null_failures(void);
    bool test_bitvec_rotate_ops_null_failures(void);
    bool test_bitvec_and_result_null_failures(void);
    bool test_bitvec_or_operand_null_failures(void);
    bool test_bitvec_xor_second_operand_null_failures(void);
    bool test_bitvec_rotate_ops_null_failures(void);
    bool test_bitvec_and_result_null_failures(void);
    bool test_bitvec_or_operand_null_failures(void);
    bool test_bitvec_xor_second_operand_null_failures(void);
    bool test_bitvec_not_null_failures(void);
    bool test_bitvec_and_result_null_failures(void);
    bool test_bitvec_or_operand_null_failures(void);
    bool test_bitvec_xor_second_operand_null_failures(void);
    bool test_bitvec_not_null_failures(void);
    bool test_bitvec_or_operand_null_failures(void);
    bool test_bitvec_xor_second_operand_null_failures(void);
    bool test_bitvec_not_null_failures(void);
    
    // Deadend tests
    
    // Deadend tests
    bool test_bitvec_bitwise_null_failures(void) {
    printf("Testing BitVec bitwise NULL pointer handling\n");
    }
    
    bool test_bitvec_bitwise_ops_null_failures(void) {
    printf("Testing BitVec bitwise operations NULL handling\n");
    }
    
    bool test_bitvec_reverse_null_failures(void) {
    printf("Testing BitVec reverse NULL handling\n");
    
    // NEW: Additional deadend tests
    bool test_bitvec_shift_ops_null_failures(void) {
    printf("Testing BitVec shift operations NULL handling\n");
    }
    
    bool test_bitvec_rotate_ops_null_failures(void) {
    printf("Testing BitVec rotate operations NULL handling\n");
    }
    
    bool test_bitvec_and_result_null_failures(void) {
    printf("Testing BitVec AND with NULL result handling\n");
    }
    
    bool test_bitvec_or_operand_null_failures(void) {
    printf("Testing BitVec OR with NULL operand handling\n");
    }
    
    bool test_bitvec_xor_second_operand_null_failures(void) {
    printf("Testing BitVec XOR with NULL second operand handling\n");
    }
    
    bool test_bitvec_not_null_failures(void) {
    printf("Testing BitVec NOT with NULL handling\n");
    
    // Main function that runs all deadend tests
    int main(void) {
    printf("[INFO] Starting BitVec.BitWise.Deadend tests\n\n");
    
    // Function prototypes for deadend tests
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    // Function prototypes for deadend tests
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_foreach_invalid_usage(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    bool test_bitvec_run_lengths_null_bv(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    bool test_bitvec_run_lengths_null_runs(void);
    bool test_bitvec_run_lengths_null_values(void);
    bool test_bitvec_run_lengths_zero_max_runs(void);
    
    // Deadend tests for BitVecRunLengths
    // Deadend tests for BitVecRunLengths
    
    bool test_bitvec_run_lengths_null_bv(void) {
    printf("Testing BitVecRunLengths with NULL bitvector\n");
    }
    
    bool test_bitvec_run_lengths_null_runs(void) {
    printf("Testing BitVecRunLengths with NULL runs array\n");
    }
    
    bool test_bitvec_run_lengths_null_values(void) {
    printf("Testing BitVecRunLengths with NULL values array\n");
    }
    
    bool test_bitvec_run_lengths_zero_max_runs(void) {
    printf("Testing BitVecRunLengths with zero max_runs\n");
    // with invalid macro usage scenarios
    
    bool test_bitvec_foreach_invalid_usage(void) {
    printf("Testing BitVec foreach with invalid bitvec\n");
    int count = 0;
    BitVecForeach(&bv, bit, {
    (void)bit;
    count++;
    });
    
    // Should not reach here
    (void)count; // Silence unused variable warning
    return false;
    }
    
    // Main function that runs all deadend tests
    int main(void) {
    printf("[INFO] Starting BitVec.Foreach.Deadend tests\n\n");
    
    // Function prototypes
    bool test_bitvec_get(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    // Function prototypes
    bool test_bitvec_get(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_get(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_set(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_flip(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_length_capacity(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_operations(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_get_edge_cases(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_set_edge_cases(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_flip_edge_cases(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_count_edge_cases(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_access_multiple_operations(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_access_large_patterns(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_macro_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_access_stress_test(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_bit_patterns_comprehensive(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_find_functions(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_predicate_functions(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_longest_run(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_find_edge_cases(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_predicate_edge_cases(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    bool test_bitvec_longest_run_edge_cases(void);
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    bool test_bitvec_find_deadend_tests(void);
    bool test_bitvec_predicate_deadend_tests(void);
    bool test_bitvec_longest_run_deadend_tests(void);
    
    // Test BitVecGet function
    
    // Test BitVecGet function
    bool test_bitvec_get(void) {
    printf("Testing BitVecGet\n");
    
    // Test BitVecSet function
    bool test_bitvec_set(void) {
    printf("Testing BitVecSet\n");
    
    // Test BitVecFlip function
    bool test_bitvec_flip(void) {
    printf("Testing BitVecFlip\n");
    
    // Test length and capacity operations
    bool test_bitvec_length_capacity(void) {
    printf("Testing BitVec length and capacity operations\n");
    
    // Test count operations
    bool test_bitvec_count_operations(void) {
    printf("Testing BitVec count operations\n");
    
    // Edge case tests
    bool test_bitvec_get_edge_cases(void) {
    printf("Testing BitVecGet edge cases\n");
    }
    
    bool test_bitvec_set_edge_cases(void) {
    printf("Testing BitVecSet edge cases\n");
    }
    
    bool test_bitvec_flip_edge_cases(void) {
    printf("Testing BitVecFlip edge cases\n");
    }
    
    bool test_bitvec_count_edge_cases(void) {
    printf("Testing BitVec count edge cases\n");
    }
    
    bool test_bitvec_access_multiple_operations(void) {
    printf("Testing BitVec multiple access operations\n");
    
    // NEW: Test large bit patterns and complex access patterns
    bool test_bitvec_access_large_patterns(void) {
    printf("Testing BitVec large pattern access\n");
    
    // NEW: Test macro functions comprehensively
    bool test_bitvec_macro_functions(void) {
    printf("Testing BitVec macro functions\n");
    
    // NEW: Stress test for access operations
    bool test_bitvec_access_stress_test(void) {
    printf("Testing BitVec access stress test\n");
    
    // NEW: Comprehensive bit pattern testing
    bool test_bitvec_bit_patterns_comprehensive(void) {
    printf("Testing BitVec comprehensive bit patterns\n");
    
    // Deadend tests
    bool test_bitvec_access_null_failures(void) {
    printf("Testing BitVec access NULL pointer handling\n");
    }
    
    bool test_bitvec_set_null_failures(void) {
    printf("Testing BitVec set NULL pointer handling\n");
    }
    
    bool test_bitvec_flip_null_failures(void) {
    printf("Testing BitVec flip NULL pointer handling\n");
    }
    
    bool test_bitvec_get_bounds_failures(void) {
    printf("Testing BitVec get bounds checking\n");
    }
    
    bool test_bitvec_set_bounds_failures(void) {
    printf("Testing BitVec set bounds checking\n");
    }
    
    bool test_bitvec_flip_bounds_failures(void) {
    printf("Testing BitVec flip bounds checking\n");
    
    // NEW: More specific bounds checking deadend tests
    bool test_bitvec_get_large_index_failures(void) {
    printf("Testing BitVec get with large out-of-bounds index\n");
    }
    
    bool test_bitvec_set_large_index_failures(void) {
    printf("Testing BitVec set with large out-of-bounds index\n");
    }
    
    bool test_bitvec_flip_edge_index_failures(void) {
    printf("Testing BitVec flip with edge case out-of-bounds index\n");
    }
    
    bool test_bitvec_count_null_failures(void) {
    printf("Testing BitVec count operations with NULL pointer\n");
    }
    
    bool test_bitvec_get_max_index_failures(void) {
    printf("Testing BitVec get with maximum index value\n");
    
    // Test BitVecFind and BitVecFindLast functions
    bool test_bitvec_find_functions(void) {
    printf("Testing BitVecFind and BitVecFindLast functions\n");
    
    // Test BitVecAll, BitVecAny, BitVecNone functions
    bool test_bitvec_predicate_functions(void) {
    printf("Testing BitVecAll, BitVecAny, BitVecNone functions\n");
    
    // Test BitVecLongestRun function
    bool test_bitvec_longest_run(void) {
    printf("Testing BitVecLongestRun function\n");
    
    // Edge case tests for Find functions
    bool test_bitvec_find_edge_cases(void) {
    printf("Testing BitVecFind edge cases\n");
    
    // Edge case tests for predicate functions
    bool test_bitvec_predicate_edge_cases(void) {
    printf("Testing BitVec predicate edge cases\n");
    
    // Edge case tests for LongestRun function
    bool test_bitvec_longest_run_edge_cases(void) {
    printf("Testing BitVecLongestRun edge cases\n");
    
    // Deadend tests - testing NULL pointers and invalid conditions that should cause fatal errors
    bool test_bitvec_find_deadend_tests(void) {
    printf("Testing BitVecFind deadend scenarios\n");
    }
    
    bool test_bitvec_predicate_deadend_tests(void) {
    printf("Testing BitVec predicate deadend scenarios\n");
    }
    
    bool test_bitvec_longest_run_deadend_tests(void) {
    printf("Testing BitVecLongestRun deadend scenarios\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Access tests\n\n");
    
    // Function prototypes
    bool test_bitvec_equals(void);
    bool test_bitvec_compare(void);
    bool test_bitvec_lex_compare(void);
    // Function prototypes
    bool test_bitvec_equals(void);
    bool test_bitvec_compare(void);
    bool test_bitvec_lex_compare(void);
    bool test_bitvec_numerical_compare(void);
    bool test_bitvec_equals(void);
    bool test_bitvec_compare(void);
    bool test_bitvec_lex_compare(void);
    bool test_bitvec_numerical_compare(void);
    bool test_bitvec_weight_compare(void);
    bool test_bitvec_compare(void);
    bool test_bitvec_lex_compare(void);
    bool test_bitvec_numerical_compare(void);
    bool test_bitvec_weight_compare(void);
    bool test_bitvec_signed_compare(void);
    bool test_bitvec_lex_compare(void);
    bool test_bitvec_numerical_compare(void);
    bool test_bitvec_weight_compare(void);
    bool test_bitvec_signed_compare(void);
    bool test_bitvec_is_subset(void);
    bool test_bitvec_numerical_compare(void);
    bool test_bitvec_weight_compare(void);
    bool test_bitvec_signed_compare(void);
    bool test_bitvec_is_subset(void);
    bool test_bitvec_is_superset(void);
    bool test_bitvec_weight_compare(void);
    bool test_bitvec_signed_compare(void);
    bool test_bitvec_is_subset(void);
    bool test_bitvec_is_superset(void);
    bool test_bitvec_overlaps(void);
    bool test_bitvec_signed_compare(void);
    bool test_bitvec_is_subset(void);
    bool test_bitvec_is_superset(void);
    bool test_bitvec_overlaps(void);
    bool test_bitvec_disjoint_intersects(void);
    bool test_bitvec_is_subset(void);
    bool test_bitvec_is_superset(void);
    bool test_bitvec_overlaps(void);
    bool test_bitvec_disjoint_intersects(void);
    bool test_bitvec_equals_range(void);
    bool test_bitvec_is_superset(void);
    bool test_bitvec_overlaps(void);
    bool test_bitvec_disjoint_intersects(void);
    bool test_bitvec_equals_range(void);
    bool test_bitvec_compare_range(void);
    bool test_bitvec_overlaps(void);
    bool test_bitvec_disjoint_intersects(void);
    bool test_bitvec_equals_range(void);
    bool test_bitvec_compare_range(void);
    bool test_bitvec_less_than_functions(void);
    bool test_bitvec_disjoint_intersects(void);
    bool test_bitvec_equals_range(void);
    bool test_bitvec_compare_range(void);
    bool test_bitvec_less_than_functions(void);
    bool test_bitvec_is_sorted(void);
    bool test_bitvec_equals_range(void);
    bool test_bitvec_compare_range(void);
    bool test_bitvec_less_than_functions(void);
    bool test_bitvec_is_sorted(void);
    bool test_bitvec_compare_edge_cases(void);
    bool test_bitvec_compare_range(void);
    bool test_bitvec_less_than_functions(void);
    bool test_bitvec_is_sorted(void);
    bool test_bitvec_compare_edge_cases(void);
    bool test_bitvec_set_operations_edge_cases(void);
    bool test_bitvec_less_than_functions(void);
    bool test_bitvec_is_sorted(void);
    bool test_bitvec_compare_edge_cases(void);
    bool test_bitvec_set_operations_edge_cases(void);
    bool test_bitvec_comprehensive_comparison(void);
    bool test_bitvec_is_sorted(void);
    bool test_bitvec_compare_edge_cases(void);
    bool test_bitvec_set_operations_edge_cases(void);
    bool test_bitvec_comprehensive_comparison(void);
    bool test_bitvec_large_scale_comparison(void);
    bool test_bitvec_compare_edge_cases(void);
    bool test_bitvec_set_operations_edge_cases(void);
    bool test_bitvec_comprehensive_comparison(void);
    bool test_bitvec_large_scale_comparison(void);
    bool test_bitvec_compare_null_failures(void);
    bool test_bitvec_set_operations_edge_cases(void);
    bool test_bitvec_comprehensive_comparison(void);
    bool test_bitvec_large_scale_comparison(void);
    bool test_bitvec_compare_null_failures(void);
    bool test_bitvec_subset_null_failures(void);
    bool test_bitvec_comprehensive_comparison(void);
    bool test_bitvec_large_scale_comparison(void);
    bool test_bitvec_compare_null_failures(void);
    bool test_bitvec_subset_null_failures(void);
    bool test_bitvec_range_null_failures(void);
    bool test_bitvec_large_scale_comparison(void);
    bool test_bitvec_compare_null_failures(void);
    bool test_bitvec_subset_null_failures(void);
    bool test_bitvec_range_null_failures(void);
    bool test_bitvec_range_bounds_failures(void);
    bool test_bitvec_compare_null_failures(void);
    bool test_bitvec_subset_null_failures(void);
    bool test_bitvec_range_null_failures(void);
    bool test_bitvec_range_bounds_failures(void);
    bool test_bitvec_sorted_null_failures(void);
    bool test_bitvec_subset_null_failures(void);
    bool test_bitvec_range_null_failures(void);
    bool test_bitvec_range_bounds_failures(void);
    bool test_bitvec_sorted_null_failures(void);
    bool test_bitvec_range_null_failures(void);
    bool test_bitvec_range_bounds_failures(void);
    bool test_bitvec_sorted_null_failures(void);
    
    // Test BitVecEquals function
    
    // Test BitVecEquals function
    bool test_bitvec_equals(void) {
    printf("Testing BitVecEquals\n");
    
    // Test BitVecCompare function
    bool test_bitvec_compare(void) {
    printf("Testing BitVecCompare\n");
    
    // Test BitVecLexCompare function
    bool test_bitvec_lex_compare(void) {
    printf("Testing BitVecLexCompare\n");
    
    // Test BitVecNumericalCompare function
    bool test_bitvec_numerical_compare(void) {
    printf("Testing BitVecNumericalCompare\n");
    
    // Test BitVecWeightCompare function
    bool test_bitvec_weight_compare(void) {
    printf("Testing BitVecWeightCompare\n");
    
    // Test BitVecIsSubset function
    bool test_bitvec_is_subset(void) {
    printf("Testing BitVecIsSubset\n");
    
    // Test BitVecSignedCompare function
    bool test_bitvec_signed_compare(void) {
    printf("Testing BitVecSignedCompare\n");
    
    // Test BitVecIsSuperset function
    bool test_bitvec_is_superset(void) {
    printf("Testing BitVecIsSuperset\n");
    
    // Test BitVecOverlaps function
    bool test_bitvec_overlaps(void) {
    printf("Testing BitVecOverlaps\n");
    
    // Test BitVecDisjoint and BitVecIntersects functions
    bool test_bitvec_disjoint_intersects(void) {
    printf("Testing BitVecDisjoint and BitVecIntersects\n");
    
    // Test BitVecEqualsRange function
    bool test_bitvec_equals_range(void) {
    printf("Testing BitVecEqualsRange\n");
    
    // Test BitVecCompareRange function
    bool test_bitvec_compare_range(void) {
    printf("Testing BitVecCompareRange\n");
    
    // Test BitVecIsLexicographicallyLess and BitVecIsNumericallyLess
    bool test_bitvec_less_than_functions(void) {
    printf("Testing BitVecIsLexicographicallyLess and BitVecIsNumericallyLess\n");
    
    // Test BitVecIsSorted function
    bool test_bitvec_is_sorted(void) {
    printf("Testing BitVecIsSorted\n");
    
    // Edge case tests
    bool test_bitvec_compare_edge_cases(void) {
    printf("Testing BitVec compare edge cases\n");
    }
    
    bool test_bitvec_set_operations_edge_cases(void) {
    printf("Testing BitVec set operations edge cases\n");
    
    // Comprehensive comparison testing with cross-validation
    bool test_bitvec_comprehensive_comparison(void) {
    printf("Testing BitVec comprehensive comparison operations\n");
    
    // Large-scale testing with stress patterns
    bool test_bitvec_large_scale_comparison(void) {
    printf("Testing BitVec large-scale comparison operations\n");
    
    // Deadend tests
    bool test_bitvec_compare_null_failures(void) {
    printf("Testing BitVec compare NULL pointer handling\n");
    }
    
    bool test_bitvec_subset_null_failures(void) {
    printf("Testing BitVec subset NULL handling\n");
    }
    
    bool test_bitvec_range_null_failures(void) {
    printf("Testing BitVec range operations NULL handling\n");
    }
    
    bool test_bitvec_range_bounds_failures(void) {
    printf("Testing BitVec range operations bounds checking\n");
    }
    
    bool test_bitvec_sorted_null_failures(void) {
    printf("Testing BitVec sorted operations NULL handling\n");
    
    // Main function that runs all tests
    int main(void) {
    printf("[INFO] Starting BitVec.Compare tests\n\n");
    
    // Callback function that gets called instead of abort()
    static void test_abort_handler(void) {
    g_abort_captured = true;
    longjmp(g_test_abort_jmp, 1);
    /// TAGS: Testing, Function, Pointer
    ///
    typedef bool (*TestFunction)(void);
    
    ///

Share :

Related Posts

Vec

Vec Description Typesafe vector definition. This is much like C++ template std::vector

Read More