-XBT_PRIVATE void SIMIX_synchro_finish(smx_activity_t synchro);
-
-XBT_PRIVATE XBT_PRIVATE smx_sem_t SIMIX_sem_init(unsigned int value);
-XBT_PRIVATE void SIMIX_sem_release(smx_sem_t sem);
-XBT_PRIVATE int SIMIX_sem_would_block(smx_sem_t sem);
-XBT_PRIVATE int SIMIX_sem_get_capacity(smx_sem_t sem);