// 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) {
    printf("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);