UNFOLD [ 1 [] [] ]
IS_EMPTY
FOLD

