The following is valid µOCCAM. formal parameters of a procedure call with no arguments
/public/cs3/web/ipptests-phase-1/formals.accept
SEQ PROC test () SKIP : variable1 := (6+4) STOP