void SIMIX_post_io(smx_synchro_t synchro);
void SIMIX_io_destroy(smx_synchro_t synchro);
void SIMIX_io_finish(smx_synchro_t synchro);
void SIMIX_post_io(smx_synchro_t synchro);
void SIMIX_io_destroy(smx_synchro_t synchro);
void SIMIX_io_finish(smx_synchro_t synchro);