Tom's simple program with continuation lines

The following is valid µOCCAM. The program features correct continuation lines. All continuation lines have just enough indentation. Also comments only occur at the right places.

-- Example testing continuation and comments
PROC add(INT x,
INT y)
  x :=
  x +
  y  -- <-- these are the only two lines in the procedure declaration
:    -- where comments are allowed. all other lines are continuation
     -- lines  
SEQ
  SKIP
  STOP