The following is a valid µOCCAM program. Tests grammar for various rules, primarily integer declaration.
/public/cs3/web/ipptests/various.accept
INT x : INT y : SEQ SKIP x := 5 y := 3 if x = 5 FOR 10 5 NOT 3 SKIP x := x - y STOP