Once they've been converted from free variables to formal parameters then it's assumed you can just stack allocate them, and roll them off when you return from

Once they've been converted from free variables to formal parameters then it's assumed you can just stack allocate them, and roll them off when you return from your lambda (which is no longer a closure)