rb_integrity_check
int rb_integrity_check(struct rbtree __arena *rbtree);
if (rb_integrity_check(rbtree)) {
if (rb_integrity_check(rbtree)) {
int rb_integrity_check(struct rbtree __arena *rbtree);