list of formals ending in a comma

The following is invalid µOCCAM. formal parameters of a procedure call comma separated list of two items ending in a comma

SEQ
  PROC test (INT c, CHAN x,)
    SKIP
  :  
  variable1 := (6+4)
  STOP