Symbol: SPLAY_INIT