main: Hello world!