INTs and CHANs

The following is an invalid µOCCAM program. This should reject because it tries to use an INT variable as a CHAN variable..

INT a:
INT c:
CHAN b:

SEQ
  c := 3
  b ? 5 
  a ! c