// Check that end - begin equals the size of the vector
    size vec_size = VecSize(&vec);
    result        = result && ((end - (char *)begin) == vec_size);

    // Test VecSize and VecLen functions
    bool test_vec_size_len(void) {
    WriteFmt("Testing VecSize and VecLen\n");
    
    // Create a vector of integers

    
    // Check initial size and length
    size vec_size = VecSize(&vec);
    size vec_len  = VecLen(&vec);
    bool result   = (vec_size == 0);

    
    // Check size and length after adding elements
    vec_size            = VecSize(&vec);
    vec_len             = VecLen(&vec);
    size aligned_offset = VecAlignedOffsetAt(&vec, vec.length);

    
    // Check size and length with alignment
    size aligned_vec_size  = VecSize(&aligned_vec);
    size aligned_vec_len   = VecLen(&aligned_vec);
    size aligned_offset_at = VecAlignedOffsetAt(&aligned_vec, aligned_vec.length);

    
    case STR_SIZE : {
    size_t size_bytes = VecSize(str);
    (void)size_bytes; // Suppress unused variable warning
    break;

    
    case VEC_INT_SIZE : {
    volatile uint64_t size_val = VecSize(vec);
    (void)size_val;
    break;

    
    case VEC_STR_SIZE : {
    size_t size_bytes = VecSize(vec);
    (void)size_bytes; // Use the result to avoid warnings
    break;

    
    case VEC_CHAR_PTR_SIZE : {
    size_t size_bytes = VecSize(vec);
    (void)size_bytes; // Use the result to avoid warnings
    break;