</span>);
<a name="l00263"></a>00263   <span class="keywordflow">try</span>
<a name="l00264"></a>00264   {
<a name="l00265"></a>00265     bufMgr-&gt;<a class="code" href="classbadgerdb_1_1_buf_mgr.html#a9bdf04c8543f59744db22efa9420c89">unPinPage</a>(file4ptr, i, <span class="keyword">false</span>);
<a name="l00266"></a>00266     PRINT_ERROR(<span class="stringliteral">"ERROR :: Page is already unpinned. Exception should have been thrown before execution reaches this point."</span>);
<a name="l00267"></a>002