rbtree: new module from Ronnie.