Symbol: SPLAY_INITIALIZER