The following is an invalid µOCCAM program. This program tries to access the same variables in two branches of a PAR. This is obviously not a good idea, as the variables could be modified by either branch at any time.
/public/cs3/web/ipptests/par.reject
INT monkey : INT oompa = 7 : INT loompa = 9 : PAR SEQ oompa := oompa + 2 monkey := oompa + loompa SEQ loompa := loompa - 4 monkey := oompa - loompa stdout ! monkey