//%set debug_print_ccode = true
//%set debug_tree = true
main module RANGECHCx

ARM X_RANGE_ERROR

declare
    Joe : static array [1..10] of 16 bit integer
enddeclare

procedure RANGECHCK (Obj : in ref array [1..10] of 16 bit integer)
    declare (Temp : 8 bit integer)
    for Index := 1 to 10 do
	Temp := Obj [Index]		// THIS IS THE BAD GUY...
    endfor
endprocedure

Joe [1] := 12
RANGECHCK (JOE)
endmodule