Symbol: xchk_btree_rec