Массивы разрешены для часов, каналов, констант и целочисленных переменных.
Они определяются путем добавления размера к имени переменной,
e.g. chan c[4]; clock a[2]; int[3,5] u[7];
.
Инициализаторы используются для инициализации целочисленных переменных и массивов целочисленных переменных.
Например, int i := 2; or int i[3] := {1, 2, 3};
.