(push '*Bye '(prinl "Goodbye world!"))
(bye)