A hello world example