julia> @finch_code begin
        z1 .= 0
        for i = _
            z1[] += x[i]
        end
    end
quote
    z1 = (ex.bodies[1]).tns.bind
    x_lvl = (ex.bodies[2]).body.rhs.tns.bind.lvl
    x_lvl_ptr = x_lvl.ptr
    x_lvl_idx = x_lvl.idx
    x_lvl_val = x_lvl.lvl.val
    z1_val = 0
    x_lvl_q = x_lvl_ptr[1]
    x_lvl_q_stop = x_lvl_ptr[1 + 1]
    if x_lvl_q < x_lvl_q_stop
        x_lvl_i1 = x_lvl_idx[x_lvl_q_stop - 1]
    else
        x_lvl_i1 = 0.0f0
    end
    phase_stop = min(x_lvl_i1, x_lvl.shape)
    if phase_stop >= limit(1.0)
        if x_lvl_idx[x_lvl_q] < limit(1.0)
            x_lvl_q = Finch.scansearch(x_lvl_idx, limit(1.0), x_lvl_q, x_lvl_q_stop - 1)
        end
        while true
            x_lvl_i = x_lvl_idx[x_lvl_q]
            if x_lvl_i < phase_stop
                x_lvl_2_val = x_lvl_val[x_lvl_q]
                z1_val = x_lvl_2_val + z1_val
                x_lvl_q += 1
            else
                phase_stop_3 = min(x_lvl_i, phase_stop)
                if x_lvl_i == phase_stop_3
                    x_lvl_2_val = x_lvl_val[x_lvl_q]
                    z1_val = z1_val + x_lvl_2_val
                    x_lvl_q += 1
                end
                break
            end
        end
    end
    (z1 = (Scalar){0, Int64}(z1_val),)
end
julia> @finch begin
        z1 .= 0
        for i = _
            z1[] += x[i]
        end
    end
(z1 = Scalar{0, Int64}(20),)

