Introduced a buffer in SectionReader::readInstanceNumber() to fasten lazy loading