@c+
module test12_2
-- test of arrays (1 dimension )
private
 integer i;
 typedef integer range [1..5] one_five;
 integer array [one_five] a, b;

 begin
 i := 1;
 do i <= 5 -> read a[i]; i := i+1; od;
 i := 1;
 do i <= 5 -> i := i+1; b[i] := a[4-i]; od; -- subscript error here
 i := 0;
 do i <= 5 -> write b[i]; i:= i+1; od; --subscript error here
 end.  -- two runtime errors
 