s_smx_req_t internal_req; /* Internal translation of request */
s_smx_req_t executed_req; /* The executed request of the state */
int req_num; /* The request number (in the case of a
s_smx_req_t internal_req; /* Internal translation of request */
s_smx_req_t executed_req; /* The executed request of the state */
int req_num; /* The request number (in the case of a