/// body        : Body of this foreach loop.
    ///
    #define StrForeachReverseIdx(str, chr, idx, body) VecForeachReverseIdx((str), (chr), idx, {body})
    
    ///

    ///           invalid index access) will result in a fatal log message and program termination.
    ///
    #define VecForeachReverse(v, var, body) VecForeachReverseIdx((v), (var), (____iter___), {body})
    
    ///

    // Test VecForeachReverseIdx macro
    bool test_vec_foreach_reverse_idx(void) {
    printf("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);

    // 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");
    
    typedef Vec(int) IntVec;

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