if (VecLen(vec) > 0) {
                    size_t total_len = 0;
                    VecForeachPtrReverseIdx(vec, str_ptr, idx) {
                        total_len += strlen(*str_ptr) + idx;
                    }

                if (VecLen(vec) > 0) {
                    size_t total_len = 0;
                    VecForeachPtrReverseIdx(vec, str_ptr, idx) {
                        total_len += ZstrLen(str_ptr->data) + idx;
                    }

                if (VecLen(vec) > 0) {
                    int sum = 0;
                    VecForeachPtrReverseIdx(vec, item_ptr, idx) {
                        sum += *item_ptr + (int)idx;
                    }

    // Test VecForeachPtrReverseIdx macro
    bool test_vec_foreach_ptr_reverse_idx(void) {
        WriteFmt("Testing VecForeachPtrReverseIdx\n");
    
        // Create a vector of integers

    
        // Use VecForeachPtrReverseIdx to set each value to its index + 100
        VecForeachPtrReverseIdx(&vec, item_ptr, idx) {
            *item_ptr = idx + 100;
        }

    // 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) {
        WriteFmt("Testing VecForeachPtrReverseIdx where idx goes out of bounds (should crash)\n");
    
        typedef Vec(int) IntVec;

    
        // VecForeachPtrReverseIdx has explicit bounds checking: if ((idx) >= (v)->length) LOG_FATAL(...)
        VecForeachPtrReverseIdx(&vec, val_ptr, idx) {
            WriteFmt("Accessing idx {} (vec.length={}): {}\n", idx, vec.length, *val_ptr);

    /// TAGS: Foreach, Vec, Iteration, Loop, Reverse, Pointer
    ///
    #define VecForeachPtrReverse(v, var) VecForeachPtrReverseIdx((v), (var), (____iter___))
    
    ///

    /// idx[in]     : Name of the variable to be used for iterating over indices (i64).
    ///
    #define StrForeachReversePtrIdx(str, chrptr, idx) VecForeachPtrReverseIdx((str), (chrptr), idx)
    
    ///