What each replacement (l$a <- v) holds in a run of a loop and frame, for the one resolution that walks it: its value in run k is asked for by run k + 1 both for the old value and for the value it assigns (l$a <- l$a + 1), which would otherwise walk the earlier runs over and over.
What each replacement (
l$a <- v) holds in a run of a loop and frame, for the one resolution that walks it: its value in runkis asked for by runk + 1both for the old value and for the value it assigns (l$a <- l$a + 1), which would otherwise walk the earlier runs over and over.