(defun foo (n) (labels ((f (i) (+ i m))) f) )