(defun foo (x) (+ x 1))