Hello world example using the Redstone framework