(define fac
  (lambda (n)
    (if (zero? n)
	1
	(* n (fac (- n 1))))))

(define a 2)