(define greeting "Hello world!")