smx_simcall_t req = nullptr;
mc_state_t state = nullptr, prev_state = NULL, next_state = NULL;
xbt_fifo_item_t item = nullptr;
smx_simcall_t req = nullptr;
mc_state_t state = nullptr, prev_state = NULL, next_state = NULL;
xbt_fifo_item_t item = nullptr;