$c+
module test11_2
{ test of arrays (1 dimension )}
private
 integer i;
 typedefinition 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}
 