Various examples of SPARK2014 code