 File::remove(filename);
<a name="l00099"></a>00099 
<a name="l00100"></a>00100   <span class="comment">//This function tests buffer manager, comment this line if you don't wish to test buffer manager</span>
<a name="l00101"></a>00101   testBufMgr();
<a name="l00102"></a>00102 }
<a name="l00103"></a>00103 
<a name="l00104"></a>00104 <span class="keywordtype">void</span> testBufMgr()
<a name="l00105"></a>00105 {
<a name="l00106"></a>00106   <span class="comment">// create buffer manager</span>
<a name="l0010