(format t "Hello world!~%")