xfbtree_verify_bno
if (!xfbtree_verify_bno(cur->bc_mem.xfbtree,
if (!xfbtree_verify_bno(xfbt, bno)) {
ASSERT(xfbtree_verify_bno(xfbt, bno));