<map id="Pointer Abstractions" name="Pointer Abstractions"> <area shape="rect" id="node2" href="$a01424.html" title="Memory" alt="" coords="5,5,72,31"/> </map>
<map id="Pointer Abstractions" name="Pointer Abstractions"> <area shape="rect" id="node2" href="$a01424.html" title="Memory" alt="" coords="5,5,72,31"/> </map>