int value;
smx_simcall_t req = MC_state_get_executed_request(state, &value);
if (req) {
char* req_str = simgrid::mc::request_to_string(
req, value, simgrid::mc::RequestType::executed);
int value;
smx_simcall_t req = MC_state_get_executed_request(state, &value);
if (req) {
char* req_str = simgrid::mc::request_to_string(
req, value, simgrid::mc::RequestType::executed);