Update new_splay.cpp