1package Sync_Iface_Test is
2   type Iface is limited interface;
3   function First (Obj : Iface) return Natural is abstract;
4
5   protected type Buffer is new Iface with
6      procedure Dummy;
7   end;
8   overriding function First (Obj : Buffer) return Natural;
9
10   procedure Do_Test (Dummy : Natural; Item  : Buffer);
11end;
12