% Mutually recursive functions let var a := 10 function g(n:int) = ( printf("in g: %d\n",n); if n>0 then f(n-1) ) function f(n:int) = ( printf("in f: %d\n",n); if n>0 then g(n-1) ) in g(a) end $