[splay.cc] modify interface