<area shape="rect" href="$a00671.html" title="bencher.hh" alt="" coords="9,84,103,111">
<area shape="rect" href="$a00520.html" title="Inline methods for misc/timer.hh." alt="" coords="127,84,209,111">
<area shape="rect" href="$a00673.html" title="bencher.hxx" alt="" coords="5,161,107,188">
