+# Changed by M. Marcus (4/4/80) to chain saved frames. Should be rewritten
+# to only use the stack, avoiding need for resexit and getexit.
+# Setexit works as before, but getexit adds pointer
+# to the saved block when it pushes saved state onto stack.
+# resexit restores this link by moving back extra word.
+# getexit and setexit are to be thought of as an (almost) unitary action.