sbadgerdb_1_1_file.html#f55ceccd74f65de593a6fdfb4c77bb8d">readHeader</a>();
<a name="l00043"></a>00043     current_page_number_ = header.<a class="code" href="structbadgerdb_1_1_file_header.html#d006b5b9d02b8c20e7ad5226680779c6">first_used_page</a>;
<a name="l00044"></a>00044   }
<a name="l00045"></a>00045 
<a name="l00053"></a><a class="code" href="classbadgerdb_1_1_file_iterator.html#fabd7eecd315a85f9eb602f71c6f88e3">00053</a>   <a class="code" href="classbadgerdb_1_1_file_iterator.html#99bd5c0e0fac0493f9