 class="special">++</span><span class="identifier">s</span></code>.<br> post: <code class="computeroutput"><span class="identifier">s</span></code> is dereferenceable. <code class="computeroutput"><span class="special">--(++</span><span class="identifier">r</span><span class="special">)</span> <span class="special">==</span>
                    <span class="identifier">r</span></code>. <code class="computeroutput"><span class="special">--</span><span class="identifier">r</span> <span class="special">==</spa