"special">&amp;</span></code>
                  </p>
                </td>
<td>
                  <p>
                    <code class="computeroutput"><span class="identifier">r</span> <span class="special">==</span>
                    <span class="identifier">s</span></code> and <code class="computeroutput"><span class="identifier">r</span></code> is dereferenceable implies
                    <code class="computeroutput"><span class="special">++</span><span class="identifier">r</span>
                   