<map id="rnd.h" name="rnd.h">
<area shape="rect" id="node3" href="$ntru_8h.html" title="public API, basic data types " alt="" coords="93,83,147,112"/>
</map>