The following is an invalid µOCCAM program. Invalid because variabled used outside procedure where it is defined.
/public/cs3/web/ipptests/scopetest.reject
INT test: PROC hello(INT scope, INT y) test := scope + y : SEQ INT x = 5: INT y = 9: hello(x,y) test := scope