The following is an invalid µOCCAM program. This is because the SEQ replicator is given a channel as its count, when it is expecting an integer.
/public/cs3/web/ipptests/badcount.reject
CHAN count: SEQ i = 0 FOR count SKIP