include protocol PmanagerProtocol;

protocol PmanagedProtocol {
    manager PmanagerProtocol;

child:
    async __delete__();
};