The following is valid µOCCAM. formal parameters of a procedure call comma separated list of two items
/public/cs3/web/ipptests-phase-1/formal.accept
SEQ PROC test (INT c, CHAN x) SKIP : variable1 := (6+4) STOP