class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;         <span class="keywordtype">int</span> number_of_snapshot_old_;                <span class="comment">/* the snapshot size of last trimmed result. */</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;         </div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;     <span class="keyword">public</span>:</div><div class="line"><a name="l00083"></a><span class="l