package body Self is    function G (X : Integer) return Lim is   begin         return R : Lim := (Comp => X, others => <>);    end G;     procedure Change (X : in out Lim; Incr : Integer) is   begin         X.Comp := X.Comp + Incr;       X.Self_Default.Comp := X.Comp + Incr;       X.Self_Anon_Default.Comp := X.Comp + Incr;    end Change;    function Get (X : Lim) return Integer is   begin         return X.Comp;    end;    end Self;