One thing that I wonder about is: could we write extra code that makes those reversible? I understand that there are no stack frames other than the topmost one,

One thing that I wonder about is: could we write extra code that makes those reversible? I understand that there are no stack frames other than the topmost one, but maybe if we recorded the first and last one as well as a copy of the arguments, it could be enough to reconstruct the flow?