[polyml] Re: [Alice-users] hello world in Alice