package body Aggr24_Pkg is procedure Init (R : out Rec) is begin R := (I1 => 0, I2 => 0, I3 => 0, I4 => 0, I5 => 0, I6 => 0, I7 => 0, S => <>); end; end Aggr24_Pkg;