Stav dette: Programming in occam 2 /