This is a short hello world example.