/* Debug information */
if (XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)) {
char* req_str = simgrid::mc::request_to_string(req, value, simgrid::mc::RequestType::simix);
/* Debug information */
if (XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)) {
char* req_str = simgrid::mc::request_to_string(req, value, simgrid::mc::RequestType::simix);