<map id="next_state" name="next_state"> <area shape="rect" id="node2" href="$thirdparty_8cpp.html#a57af1d02a3fb56a949fb4c258f0bc066" title="init_genrand" alt="" coords="137,5,229,32"/> <area shape="rect" id="node3" href="$thirdparty_8cpp.html#a70fb67ccb62218a4eb4186c6a428b6e1" title="TWIST" alt="" coords="151,56,215,83"/> <area shape="rect" id="node4" href="$thirdparty_8cpp.html#aeba37a43ec22776141c055036b256878" title="MIXBITS" alt="" coords="278,56,354,83"/> </map>