byte leafPayload = file.readByte("leafPayload");
assert (leafPayload == 32);
this.fileChangeCounter = file.readInt("fileChangeCounter");
int storedNumPages = file.readInt("storedNumPages");
this.firstFreeListPage = file.readInt("firstFreeListPage");
this.numFreeListPages = file.readInt("numFreeListPages");
this.schemaCookie = file.readInt("schemaCookie");
this.schemaFormat = file.readInt("schemaForamt"); // one of 1..4
this.defaultPageCacheSize = file.readInt("defaultPageCacheSize");