public int getAvailableRedoCount() {
		return bufferMgr != null ? bufferMgr.getAvailableRedoCount() : 0;
	}
@return the number of redo-able transactions
Ghidra/Framework/DB/src/main/java/db/DBHandle.java