is restored, a (supplied) initial function is invoked which can do whatever kind of setup it wants. This makes a saved lisp totally independent of the location of the C stack.