main module RANGE1
procedure RANGE1
    param
	Obj : inout ref packed array [1..?N] of char
    endparam

    ARM X_RANGE_ERROR

    for Index := 1 to N do
	Obj [Index] := $T
    endfor
endprocedure
endmodule