(format t "Hello, World!~%")