<map id="G" name="G">
<area shape="rect" id="node3" href="$coverage_8h.html" title="coverage.h" alt="" coords="306,109,389,136"/>
<area shape="rect" id="node7" href="$ui__coverage_8h.html" title="ui_coverage.h" alt="" coords="721,109,823,136"/>
</map>
