( @check 1 )

begin
    1 print leave
    2 print
    1
until