valid-proc-nocall.accept

The following is valid µOCCAM. This program simply illustrates the use of a procedure, followed by an empty sequence.

-- a simple valid program
PROC inc(INT x) 
  x := x + 1
:

SEQ
  -- don't bother with function call