The idea is that eventually we'll have to go reversible anyway. Computation will have to run twice in order to run at more than 2X the clock speed of running once. Getting easy garbage collection is a side effect, not a goal of the optimization.

And, the result will have to be copied off before rewinding.