(define fac
  (lambda (n accu)
    (if (= n 0)
	accu
	(fac (- n 1) (* n accu)))))