: goodbye ( -- )   ." Hello world!" CR ;