(defun add (x y)
  (+ x y))

(format t "~a" (add 2 3))