UNFOLD []
IS_EMPTY
SIZE
UNFOLD [ ]
IS_EMPTY
SIZE

