protected type Protected_Buffer_Type is entry Insert (An_Item : in  Item); entry Remove (An_Item : out Item); end Protected_Buffer_Type;