(define x 1)
(~a "Hello world " x)