ial">&amp;</span></code>
                  </p>
                </td>
<td>
                  <p>
                    pre:<br> <code class="computeroutput"><span class="identifier">r</span></code>
                    is dereferenceable;<br> post:<br> <code class="computeroutput"><span class="identifier">r</span></code>
                    is dereferenceable or<br> <code class="computeroutput"><span class="identifier">r</span></code>
                    is past-the-end
                  </p>
                <