<map id="pixary" name="pixary">
<area shape="rect" id="node2" href="$pltx_8c.html#a6747050abff0d477c44e492383218a11" title="xnew" alt="" coords="115,5,167,32"/>
<area shape="rect" id="node3" href="$pltx_8c.html#a9d46ff9578c5000db70120029a2cb57f" title="xdump" alt="" coords="111,56,172,83"/>
</map>
