stl-like splay tree again