To fail gracefully, an operation needs to manipulate a different stack in order to be able to recover from an error (if an error occurs, the stack is in an undetermined state).
A try block can terminate in two ways:
- The computation succeeded. In this case, its stack contents