splay_tree_checkpoint