main module test use test3 declare x : static 8 bit integer y : static 8 bit integer range 1..10 i : static integer z : static mytype enddeclare arm x_range_error x := 1 y := 5 i := 23 x := i y := i z := x p@[4]:= 1 p@[i]:= 10 endmodule