1package Prot7 is
2   type Instance_Pointer is access Integer;
3
4   protected Default_Slice
5        with Lock_Free
6   is
7      function Get return Instance_Pointer;
8
9      procedure Set (
10        Discard : in out Boolean;
11        Slice   : in     Instance_Pointer
12      );
13   private
14      Default : Instance_Pointer;
15   end Default_Slice;
16end Prot7;
17