(defun hello ()
(format t"Hello,world!~%"))
(hello)