(format t "Hello world")