The following is a valid µOCCAM program. It declares a single integer variable.
/public/cs3/web/ipptests/single-declaration.accept
INT a.b: STOP