smx_process_t issuer, smx_req_t req);
static void _SIMIX_sem_wait(smx_sem_t sem, double timeout, smx_process_t issuer,
smx_req_t req);
smx_process_t issuer, smx_req_t req);
static void _SIMIX_sem_wait(smx_sem_t sem, double timeout, smx_process_t issuer,
smx_req_t req);