byte[] reserved = new byte[24];
file.readFully(reserved);
file.annotateLast(reserved.length, "reserved");
this.versionValid4Number = file.readInt("versionValid4Number");
this.versionSqlite = file.readInt("versionSqlite");
// end of header
// compute the num of Pages
if (isValidNumPages(storedNumPages, this.fileChangeCounter, this.versionValid4Number)) {
this.numPages = storedNumPages;