let rec f = lambda n. if n=0 then 0 else 1+g(n-1), g = lambda n. if n=0 then 0 else 1+f(n-1) in f 10