<map id="src/pool" name="src/pool"> <area shape="rect" id="node1" href="dir_000010.html" title="pool" alt="" coords="27,52,99,100"/> <area shape="rect" id="node2" href="dir_000000.html" title="include" alt="" coords="27,148,99,196"/> <area shape="rect" id="edge1-headlabel" href="dir_000010_000000.html" title="2" alt="" coords="66,122,76,137"/> <area shape="rect" id="clust1" href="dir_000003.html" title="src" alt="" coords="16,16,109,111"/> </map>