(format t "Hello, World!")