( @check 2 4 )

4 2

0 if
    drop 3
else
then

. .