[monocasa]

That's sort of orthogonal to what I'm talking about. The issue is that wasm doesn't yet give you the tools to implement those techniques (namely the ability to do brain surgery on a running stack).

[hinkley]

My point is that there are other things you can do that don't involve modifying the stack (or at least, except via inlined code).

[monocasa]

I just don't understand how you implement stack checkpointing without access to the stack.