package Prot7 is
   type Instance_Pointer is access Integer;

   protected Default_Slice
        with Lock_Free
   is
      function Get return Instance_Pointer;

      procedure Set (
        Discard : in out Boolean;
        Slice   : in     Instance_Pointer
      );
   private
      Default : Instance_Pointer;
   end Default_Slice;
end Prot7;