<div class="doc_text">
<p>Any memory access must be done though a pointer value associated
<div class="doc_text">
<p>Any memory access must be done though a pointer value associated
-with with address range of the memory access, otherwise the behavior
+with an address range of the memory access, otherwise the behavior
is undefined. Pointer values are associated with address ranges
according to the following rules:</p>
is undefined. Pointer values are associated with address ranges
according to the following rules:</p>