1-- { dg-do compile } 2 3package body Aggr20 is 4 5 procedure Proc (R : out Rec3) is 6 begin 7 R := (Callback => Nil_Rec2); 8 end; 9 10end Aggr20; 11