int rootIdx = createEmptyBPT(stateMgr, nodeManager, recordsMgr) ; if ( rootIdx != 0 ) throw new InternalError() ;
int rootIdx = createEmptyBPT(stateMgr, nodeManager, recordsMgr) ; if ( rootIdx != 0 ) throw new InternalError() ;
int rootIdx = createEmptyBPT(stateMgr, nodeManager, recordsMgr) ; if ( rootIdx != 0 ) throw new InternalError() ;
int rootIdx = createEmptyBPT(stateMgr, nodeManager, recordsMgr) ; if ( rootIdx != 0 ) throw new InternalError() ;