Example code used for the DTL Reliable Software Workshop.