@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. 
