The following is an invalid µOCCAM program. This example defines a small procedure which should double a variable. The formal parameter "yy" does not match "y" in the procedure and it is therefore invalid.
/public/cs3/web/ipptests/smallprocedure.reject
PROC double (INT yy) yy := y * 2 : STOP