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