Symbol: do_splice