<map id="random" name="random"> <area shape="rect" id="node2" href="$dc/de5/random_8c.html#a9599a4ac39f88109072768a7ed89398b" title="srandom" alt="" coords="125,5,204,32"/> </map>