><code class="literal">introduction_comments.cpp</code></a>):
    </p>
<p>
</p>
<pre class="programlisting"><span class="keyword">void</span> <span class="identifier">inc</span><span class="special">(</span><span class="keyword">int</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">)</span>
    <span class="comment">// Precondition:    x &lt; std::numeric_limit&lt;int&gt;::max()</span>
    <span class="comment">// Postcondition:   x == oldof(x) + 1</span>
<span 