</span> (i = 0; i &lt; num/3; i++) {
<a name="l00236"></a>00236     bufMgr-&gt;<a class="code" href="classbadgerdb_1_1_buf_mgr.html#a9bdf04c8543f59744db22efa9420c89">unPinPage</a>(file2ptr, i+1, <span class="keyword">true</span>);
<a name="l00237"></a>00237     bufMgr-&gt;<a class="code" href="classbadgerdb_1_1_buf_mgr.html#a9bdf04c8543f59744db22efa9420c89">unPinPage</a>(file2ptr, i+1, <span class="keyword">true</span>);
<a name="l00238"></a>00238     bufMgr-&gt;<a class="code" href="classbadgerdb_1_1_buf_m