SIMIX_request_pre(req, 0);
else if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
req_str = MC_request_to_string(req);
SIMIX_request_pre(req, 0);
else if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
req_str = MC_request_to_string(req);
deadlock = TRUE;
xbt_swag_foreach(process, simix_global->process_list){
if(process->request.call != REQ_NO_REQ
deadlock = TRUE;
xbt_swag_foreach(process, simix_global->process_list){
if(process->request.call != REQ_NO_REQ