} catch (StopRequest const&) {
XBT_DEBUG("Caught a StopRequest");
xbt_assert(not context->is_maestro(), "Maestro shall not receive StopRequests, even when detached.");
} catch (StopRequest const&) {
XBT_DEBUG("Caught a StopRequest");
xbt_assert(not context->is_maestro(), "Maestro shall not receive StopRequests, even when detached.");