Procedure def

The following is a valid µOCCAM program. This is a valid procedure definiton.

PROC increment (INT x)
  x := x + 1
:
STOP