-- { dg-do run }

with Aggr21_Pkg; use Aggr21_Pkg;

procedure Aggr21 is
  V : Rec;
begin
  V.A := 12;
  V.S (1 .. 10) := "Hello init";
  V.N := 123;
  Init (V);
  --  Probably not reliable, but the compiler is supposed not to modify V.S
  pragma Assert (V.s (1 .. 5) = "Hello");
end;