lock</a></div>
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno">    7</span>    <span class="keywordtype">use </span>benchmark_kinds</div>
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno">    8</span>    <span class="keywordtype">use </span>benchmark_method</div>
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno">    9</span>    <span class="keywordtype">use </span>benchmark_options</div>
<div class="line"><a id="l00010" name="l00010"></a><s