Another example:
(defun foo () (labels ((bar (baz bim) (let ((n (+ baz bim))) (* n (+ n 1) bim)))) (let ((a (bar 1 1)) (b (bar 1 5)) (c (bar 1 15))) (- (+ a b) c))))
Another example:
(defun foo ()
(labels ((bar (baz bim)
(let ((n (+ baz bim)))
(* n (+ n 1) bim))))
(let ((a (bar 1 1))
(b (bar 1 5))
(c (bar 1 15)))
(- (+ a b) c))))