//%set debug_print_ccode = true //%set debug_tree = true main module RANGElow use TEXTIO declare Test_array : static packed array [1..10] of char enddeclare procedure RANGECHCK (Obj : in ref packed array [1..?N] of char) ARM X_RANGE_ERROR declare (Temp : integer) Temp := low(Obj) out_integer (TTY, Temp) out_record (TTY) endprocedure RANGECHCK (Test_Array) endmodule