this.encoding = readEncoding(file);
file.annotateLastInt("Encoding", this.encoding);
this.userVersion = file.readInt("userVersion");
this.incrementalVacuumMode = file.readInt() > 0;
file.annotateLastInt("incrementalVacuumMode", this.incrementalVacuumMode);
// reserved
byte[] reserved = new byte[24];
file.readFully(reserved);
file.annotateLast(reserved.length, "reserved");