( @check 5 )

5 5 6 2drop print