ntents of which is later modified by y(). There is a different
  but in terms of error handling equally critical situation in the Tutorial
  under <a href=
  "tutorial.html#GettingStateInformationOutOfTheMachine">Getting state
  information out of the machine</a> when <code>Running::~Running()</code>
  accesses its outer state <code>Active</code>. Had the entry action of
  <code>Active</code> failed and had <code>Running</code> been entered anyway
  then <code>Running</code>'s exit action would have invoked