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