+ if (res != -1) {
+ if (is_valid_MessageType(*static_cast<int*>(message))) {
+ XBT_DEBUG("Receive %s (requested %zu; received %zd)", to_c_str(*static_cast<MessageType*>(message)), size, res);
+ } else {
+ XBT_DEBUG("Receive %zd bytes", res);
+ }
+ } else {
+ XBT_ERROR("Channel::receive failure: %s", strerror(errno));
+ }