--  { dg-do compile }
--  { dg-options "-gnatwa -gnatVa" }

package body Prot7 is
   protected body Default_Slice is
      function Get return Instance_Pointer is
      begin
         return Default;
      end Get;

      procedure Set (
        Discard : in out Boolean;
        Slice   : in     Instance_Pointer
      ) is
      begin
         Discard := Default /= null;
         if not Discard then
            Default := Slice;
         end if;
      end Set;
   end Default_Slice;
end Prot7;