// [TxTDB:PATCH-UP]
// synchronized - needed for multiple reader?
synchronized (block)
{
int x = block.getByteBuffer().getInt(0) ;
BlockType type = getType(x) ;
if ( type != BPTREE_BRANCH && type != BPTREE_LEAF )
throw new BPTreeException("Wrong block type: "+type) ;
int count = decodeCount(x) ;
return overlay(bpTree, block, (type==BPTREE_LEAF), count) ;