@c+
module test12_1
-- test of arrays (1 dimension )
private
 typedef Boolean range [false..true] bools;
 integer array [bools] a, b;
 bools j;
 begin
 forall j -> read a[j];  llarof; -- use 1 2
 forall j -> b[j] := a[~j]; llarof;
 forall j ->  write b[j]; llarof;  -- 2 1
 end.
 