<map id="Extensions" name="Extensions">
<area shape="rect" id="node1" href="$a01740.html" title="Policy&#45;Based Data Structures" alt="" coords="136,5,317,30"/>
<area shape="rect" id="node2" href="$a01681.html" title="SGI" alt="" coords="205,54,248,79"/>
</map>