An example of hello world