Programming in occam 2