<map id="G" name="G">
<area shape="rect" id="node3" href="$_allocator_pool_8h.html" title="Allocator pool." alt="" coords="209,83,412,111"/>
<area shape="rect" id="node5" href="$_kernel_8h.html" title="GaudiKernel/Kernel.h" alt="" coords="231,161,391,189"/>
</map>
