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);
-static void SIMIX_sem_block_onto(smx_sem_t sem);
/***************************** Synchro action *********************************/