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