(message "Hello world!")