Parameter Liveness.1-R

val live_at_exit : box iter