The following is an invalid µOCCAM program. This program declares only one variable but then tries to make an assignment to another undeclared one
/public/cs3/web/ipptests/undeclaredvariable.reject
INT avariable = 0: -- declaring one variable SEQ PAR replicate = 3+4 FOR 6+3 SEQ PAR avariable := 25 -- assignment to first variable anothervariable := avariable + 15 -- assignment to undeclared variable