Continuations are now defunctionalized