A Basic Deinfition and Comment

The following is valid µOCCAM. This is a very simple definition, followed by a comment.

PROC myname (CHAN mychan)
  myvar := this
:
-- We won`t do anything but comment and stop here
STOP