BinaryDecoder decoder = new BinaryDecoder(in);
try {
long timestamp = decoder.readLong();
long readPointer = decoder.readLong();
long writePointer = decoder.readLong();
// some attributes where removed during format change, luckily those stored at the end, so we just give a chance
// to skip them
decodeObsoleteAttributes(decoder);
Collection<Long> invalid = decodeInvalid(decoder);
NavigableMap<Long, TransactionManager.InProgressTx> inProgress = decodeInProgress(decoder);