void SIMIX_process_kill(smx_process_t process, smx_process_t killer);
void SIMIX_process_killall(void);
smx_process_t SIMIX_process_create_from_wrapper(smx_process_arg_t args);
void SIMIX_process_kill(smx_process_t process, smx_process_t killer);
void SIMIX_process_killall(void);
smx_process_t SIMIX_process_create_from_wrapper(smx_process_arg_t args);