if (VecLen(vec) > 0) {
                    size_t total_len = 0;
                    VecForeachReverseIdx(vec, str, idx) {
                        total_len += strlen(str) + idx;
                    }

                if (VecLen(vec) > 0) {
                    size_t total_len = 0;
                    VecForeachReverseIdx(vec, str, idx) {
                        total_len += ZstrLen(str.data) + idx;
                    }

                if (VecLen(vec) > 0) {
                    int sum = 0;
                    VecForeachReverseIdx(vec, item, idx) {
                        sum += item + (int)idx;
                    }

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

        // Use VecForeachReverseIdx to verify indices are correct in reverse
        bool result = true;
        VecForeachReverseIdx(&vec, item, idx) {
            result = result && (item == values[idx]);
            result = result && (VecAt(&vec, idx) == item);

    // Make idx go out of bounds in VecForeachReverseIdx by modifying vector during iteration
    bool test_vec_foreach_reverse_idx_out_of_bounds_access(void) {
        WriteFmt("Testing VecForeachReverseIdx where idx goes out of bounds (should crash)\n");
    
        typedef Vec(int) IntVec;

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

    /// TAGS: Foreach, Vec, Iteration, Loop, Reverse
    ///
    #define VecForeachReverse(v, var) VecForeachReverseIdx((v), (var), UNPL(iter))
    
    ///

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