(format t "¡Hola, mundo!")