Text this: Programming in occam 2