unsigned int MC_request_testany_fail(smx_req_t req);
/*int MC_waitany_is_enabled_by_comm(smx_req_t req, unsigned int comm);*/
int MC_request_is_visible(smx_req_t req);
unsigned int MC_request_testany_fail(smx_req_t req);
/*int MC_waitany_is_enabled_by_comm(smx_req_t req, unsigned int comm);*/
int MC_request_is_visible(smx_req_t req);