SplayTree library API in place.