<map id="Type&#45;safe container of any type" name="Type&#45;safe container of any type">
<area shape="rect" id="node1" href="$a01489.html" title=" " alt="" coords="449,33,532,57"/>
<area shape="rect" id="node2" title=" " alt="" coords="149,27,280,64"/>
<area shape="rect" id="node3" href="$a01517.html" title=" " alt="" coords="5,33,100,57"/>
</map>