void __MSG_process_cleanup(void *arg);
void *_MSG_process_create_from_SIMIX(const char *name,
xbt_main_func_t code, void *data,
void __MSG_process_cleanup(void *arg);
void *_MSG_process_create_from_SIMIX(const char *name,
xbt_main_func_t code, void *data,