Programming in Occam 2