int argc, char** argv, std::map<std::string, std::string>* properties);
#endif
-XBT_PUBLIC void simcall_process_killall();
XBT_PUBLIC void SIMIX_process_throw(smx_actor_t process, xbt_errcat_t cat, int value, const char* mesg);
/* Process handling */