(letrec ((fac (lambda (n)
                 (if (= n 0) 1 (* n (fac (- n 1)))))))
  (fac 5))

; OK: 120