<map id="src/tokenize.h" name="src/tokenize.h">
<area shape="rect" id="node1" title=" " alt="" coords="21,5,124,31"/>
<area shape="rect" id="node2" title=" " alt="" coords="5,79,59,104"/>
<area shape="rect" id="node3" title=" " alt="" coords="83,79,141,104"/>
</map>
