hello world done in a variety of languages