but now that I think about it (with an ever-widening smile), s7 could include some reasonable facsimile of the continuation stack and let chain. To be callable, it might also need the rootlet entries that it references.