This call to continuation business sounds pretty bad for performance, though: all local state needs to be copied. One could just pass on a pointer to a memory blob / arena or some such, I guess, which is not too different from using the same stack pointer before and after the call, so Hmmm... I wonder what the downsides really are.