main module testrange
%set use_routine_names=true
    declare
	a_range  is integer range 1..10
	aa: static array [a_range] of integer
	a : static a_range
    enddeclare

	arm x_range_error

    guard
	a := 1
	a := 11
	
	aa[25] := 3
    catch
	case X_range_error:
	a := 0

    endguard

endmodule