<map id="include/pico/platform" name="include/pico/platform">
<area shape="rect" id="node1" href="dir_73ae5af25772129e79eeb2fe3509c121.html" title="platform" alt="" coords="27,52,106,100"/>
<area shape="rect" id="clust1" href="dir_d97fae80c14795a77ab2147da5f185d7.html" title="pico" alt="" coords="16,16,117,111"/>
</map>
