duction.cpp", line 17
</pre>
<p>
      Instead, if there is a bug in the implementation of <code class="computeroutput"><span class="identifier">inc</span></code>
      so that <code class="computeroutput"><span class="identifier">x</span></code> is not incremented
      by <code class="computeroutput"><span class="number">1</span></code> after the execution of the
      function body then the program will terminate with an error message similar
      to the following (and it will be evident that the bug is