(labels ((fak (n) (cond ((<= n 1) 1) (1 (* n (fak (- n 1))))))(g (n) (* 2 n)))(fak 7))
 
 
(labels ((addn (n) (function (lambda (x) (+ x n))))(c (f g) (function (lambda (x) (funcall f (funcall g x))))))(funcall (c (addn 12) (addn 21)) 22))