(defun foo (n) n)