//error: constructor messages can't use compression (here, in protocol `compressCtor')
//error: destructor messages can't use compression (here, in protocol `compressCtorManagee')
include protocol compressCtor;
sync protocol compressCtorManagee {
manager compressCtor;
child:
[Compress] async __delete__();
};
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]