(defun foo (x) (+ x 3))