main module rangetest
	// tst:range.prx
	%set subscript_check = true
	declare
		x : static integer range 1..3
		a : static array [1..10] of integer
		i : integer
	enddeclare
	arm x_range_error
	x := 3
//	x := 4		// this is caught at compile time
	i := 20
	x := i		// this is caught at runtime
	a[1] := 100
//	a[20] := 100	// this is caught at compile time
//	x := a[20]	// this is caught a compile time

	a[i] := 100	// this is caught at runtime
	
endmodule