UNFOLD [ 1 2 3 ]
FOLD
SORT_GE
FOLD