let
  one be 1
in
  let 
     five be 5 
  in
     let 
        fact be  rec g(n:int):int => 
                    (n == 0) ? one :  n * g(n-one)
     in
        fact(five)