xbt_assert(s != -1, "Could not receive message");
xbt_assert(s == sizeof(message) && message.type == MC_MESSAGE_DEADLOCK_CHECK_REPLY,
"Received unexpected message %s (%i, size=%i) "
xbt_assert(s != -1, "Could not receive message");
xbt_assert(s == sizeof(message) && message.type == MC_MESSAGE_DEADLOCK_CHECK_REPLY,
"Received unexpected message %s (%i, size=%i) "