Section 11.4, Stack Unwinding, needs considerable attention: - we need to come to a decision about what frames the exit and reenter addresses refer to; - I suggest that the addresses be the frames' frame pointers.