<map id="Pointer Abstractions" name="Pointer Abstractions"> <area shape="rect" id="node1" title=" " alt="" coords="120,5,251,29"/> <area shape="rect" id="node2" href="$a01471.html" title=" " alt="" coords="5,5,72,29"/> </map>
<map id="Pointer Abstractions" name="Pointer Abstractions"> <area shape="rect" id="node1" title=" " alt="" coords="120,5,251,29"/> <area shape="rect" id="node2" href="$a01471.html" title=" " alt="" coords="5,5,72,29"/> </map>