[nicolast]

Can't you lambda-lift & fully CPS-convert the code somewhere throughout compilation, then use a trampoline at runtime?

[lysium]

I'd say that's a huge performance hit (return, check, call instead of jump). Plus, your JIT might not like it.