UNFOLD [ 1 2 3 4 5 ]
FOLD
BEGIN
SPLICE_ALL [ 6 7 8 ]
FOLD
