Links state reads in a loop body to the body's own writes of a later iteration and returns them, as the first iteration reads what is there before the loop.
Links state reads in a loop body to the body's own writes of a later iteration and returns them, as the first iteration reads what is there before the loop.