(undocumented)
1. prolog::splay_split_5::splay_split/5(int ARG1, int ARG2, int ARG3, int ARG4, int ARG5)():