: TAIL-EMPTY R> DROP DEPTH 0= IF EXIT THEN DROP RECURSE ;
: EMPTY TAIL-EMPTY ;