<map id="beginResync" name="beginResync"> <area shape="rect" id="node1" title=" " alt="" coords="5,31,104,57"/> <area shape="rect" id="node2" href="$antlr3debughandlers_8c.html#a2dbcad7f611c518cd3359dd294ef263a" title=" " alt="" coords="152,31,225,57"/> <area shape="rect" id="node3" href="$antlr3debughandlers_8c.html#acb222bcf138494b18754041f5a7abb5b" title=" " alt="" coords="273,5,353,32"/> <area shape="rect" id="node4" href="$antlr3debughandlers_8c.html#a4126f5b39dad904614e6a2f126e90c52" title=" " alt="" coords="292,56,335,83"/> </map>