<map id="rewindMark" name="rewindMark"> <area shape="rect" id="node1" title=" " alt="" coords="5,31,100,57"/> <area shape="rect" id="node2" href="$antlr3debughandlers_8c.html#a2dbcad7f611c518cd3359dd294ef263a" title=" " alt="" coords="148,31,221,57"/> <area shape="rect" id="node3" href="$antlr3debughandlers_8c.html#acb222bcf138494b18754041f5a7abb5b" title=" " alt="" coords="269,5,349,32"/> <area shape="rect" id="node4" href="$antlr3debughandlers_8c.html#a4126f5b39dad904614e6a2f126e90c52" title=" " alt="" coords="288,56,331,83"/> </map>