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);
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);