storm-example: the example is also licensed under the GPL.