/* ERRORS */
int#[undefined] a;
any b;
int#[y+1] c; // not a constant expr
(any) d;
(int, int#[y+1]) e;
int(int) f;

count x = 5;
var count y;
int#[x+1] wronglength = [1,2,3]; // ERROR due to array type mismatch