lass="keyword">val</span>&nbsp;randomize&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;statistics&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;num_bindings&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;num_buckets&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;max_bucket_length&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;bucket_histogram&nbsp;:&nbsp;int&nbsp;array;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nb