The typical Hello world.