if ( currentPage != null )
pageMgr.release(currentPage) ;
RecordBufferPage nextPage = pageMgr.getReadIterator(link) ;
// Check currentPage -> nextPage is strictly increasing keys.
Record r1 = currentPage.getRecordBuffer().getHigh() ;
Record r2 = nextPage.getRecordBuffer().getLow() ;
if ( Record.keyGE(r1, r2) )
throw new StorageException("RecordRangeIterator: records not strictly increasing: "+r1+" // "+r2) ;
currentPage = nextPage ;
countBlocks++ ;
currentIdx = 0 ;