Invalid Array Declaration

The following is an invalid µOCCAM program. Does not use a constant expression to declare an array.

INT x = 1:
[x]INT i:
STOP