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