# ./include/simgrid/simix.h (otherwise you will get a warning at the
# compilation time)
-void vm_suspend(sg_host_t ind_vm);
-void vm_resume(sg_host_t ind_vm) [[nohandler]];
-void vm_shutdown(sg_host_t ind_vm);
-void vm_save(sg_host_t ind_vm);
-void vm_restore(sg_host_t ind_vm) [[nohandler]];
-
void process_kill(smx_actor_t process);
void process_killall(int reset_pid);
void process_cleanup(smx_actor_t process) [[nohandler]];
xbt_dict_t storage_get_properties(smx_storage_t storage) [[nohandler]];
xbt_dict_t storage_get_content(smx_storage_t storage) [[nohandler]];
-xbt_dict_t asr_get_properties(const char* name);
int mc_random(int min, int max);
void set_category(smx_activity_t synchro, const char* category) [[nohandler]];