let f1(b) { if (b == 0) then 0 else f1(b-1) }
    f2(a,b) { if (a > b) then f1(a) else f1(b) }
in f1(10); f2(10,-20)