int leafPageCount = 0;
int nonTerminalPageCount = 0;
// System.out.println("--- begin ---");
while (pageRecordable != null) {
elementMgr.clearReadCache();
final EnumRecordType recordType = pageRecordable.getRecordType();
switch (recordType) {// NOPMD
case LEAF_PAGE: {
final LeafPage leafPage = (LeafPage) pageRecordable;
// check keys