readMagicHeader(file);
this.pageSize = readPageSize(file);
this.fileFormatWrite = file.readByte() == 1 ? FileFormat.LEGACY : FileFormat.WAL;
file.annotateLastByte("writeFileFormat", this.fileFormatWrite);
this.fileFormatRead = file.readByte() == 1 ? FileFormat.LEGACY : FileFormat.WAL;
file.annotateLastByte("readFileFormat", this.fileFormatRead);
this.reservedPageSpace = file.readByte("reservedPageSpace");
byte maxEmbedded = file.readByte("maxEmbedded");
assert (maxEmbedded == 64);