The source file for hello world