[Hello world example]