main module TEST32arr ARM X_RANGE_ERROR declare A : array [10000..10005] of 32 bit integer I : 32 bit integer initially 2 enddeclare if A [10002] = 0 do A [10002] := 4 endif if A [i] > 0 do A [I] := 5 endif endmodule