package body Size_Attribute1_Pkg2 is

  procedure Proc is
    I : Integer := T'Size;
  begin
    null;
  end;

end Size_Attribute1_Pkg2;