$c+
module test9_1
{ test of range variables Runtime checks}
private
integer range[1..5] x;
integer range [3..20] y;
integer z;

begin
x := 1;
y := x;	{ illegal}
z := 3;
x := z+3;	{ illegal}
read x;	{ use 10	-- illegal}
end. { 3 runtime errors}

{ Compile and run three times. Get an error on each run and then comment 
 out the line that generated the error before the next run.  Make
 sure you get all three errors. }
