rent result vector. */</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;         <span class="keywordtype">int</span> difference_;                            <span class="comment">/* the length difference of snapshot between old and new result, </span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;<span class="comment">                                                        which is used to trim each new run result to be a unified