#LOOP

def Sub
out: o0
in: i0, i1
aux: 
do

	o0 := i0;

	loop i1 do
		o0 := pred(o0)
	end
enddef

def Add
out: o0
in: i0, i1
aux: 
do

	o0 := i0;

	loop i1 do
		o0 := succ(o0)
	end
enddef

def Greater
out: o0
in: i0, i1
aux:
do

	o0 := Sub(i0,i1)()

enddef

def IfLet     // Assign the second argument if the first one is nonzero
out: o0
in: i0, i1
aux: 
do
    loop i0 do
        o0 := i1
    end
enddef