(letrecproc ((f (n) (if (zero? n) 1 (* n (f (- n 1)))))) (f 5))

(letrecproc ((f (n res)
	       (if (zero? n) res (f (sub1 n) (add1 res))))) (f 1000 0))