Hello World example.
Petterson's mutual exclusion example.