// 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)
    
    ///

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

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

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