include protocol PmanagedProtocol;
// sanity check of managed/manager protocols
[ChildProc=any]
protocol PmanagerProtocol {
manages PmanagedProtocol;
parent:
async PmanagedProtocol(int i);
};
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]
