//error: manager `multimanDupMgrsMgr' appears multiple times
include protocol multimanDupMgrs;
[ChildProc=any]
protocol multimanDupMgrsMgr {
manages multimanDupMgrs;
child:
async multimanDupMgrs();
async __delete__();
};
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]