- XBT_DEBUG("Simcall %d, process %ld (state %d) and simcall %d, process %ld (state %d) are independent",
- req->call, issuer->get_pid(), state->num, prev_state->internal_req.call, previous_issuer->get_pid(),
- prev_state->num);
+ XBT_DEBUG("Simcall %s, process %ld (state %d) and simcall %s, process %ld (state %d) are independent",
+ SIMIX_simcall_name(req->call_), issuer->get_pid(), state->num_,
+ SIMIX_simcall_name(prev_state->internal_req.call_), previous_issuer->get_pid(), prev_state->num_);