severe, that the application needs to be terminated anyway. In
        such a situation stack unwind is almost never desirable and the
        failure is better signaled through other mechanisms (e.g.
        abort())</li>
      </ul>
    </li>

    <li>to clean up properly, often exit actions <b>must</b> be executed when
    a state machine object is destructed, even if it is destructed as a
    result of a stack unwind</li>
  </ul>

  <p>However, several people have put forward theoretical arguments and
 