<map id="witness_setflag" name="witness_setflag">
<area shape="rect" id="node2" href="$de/d61/subr__witness_8c.html#ac9fa59f569bad38519f328089101b994" title="witness_norelease" alt="" coords="172,5,311,32"/>
<area shape="rect" id="node3" href="$de/d61/subr__witness_8c.html#a82babcb0ec3dfeb040087373bfb67b8f" title="witness_releaseok" alt="" coords="172,56,311,83"/>
</map>