void process_set_host(smx_actor_t process, sg_host_t dest);
int process_is_suspended(smx_actor_t process) [[nohandler]];
int process_join(smx_actor_t process, double timeout) [[block]];
int process_sleep(double duration) [[block]];
smx_activity_t execution_start(const char* name, double flops_amount, double priority, double bound);
void process_set_host(smx_actor_t process, sg_host_t dest);
int process_is_suspended(smx_actor_t process) [[nohandler]];
int process_join(smx_actor_t process, double timeout) [[block]];
int process_sleep(double duration) [[block]];
smx_activity_t execution_start(const char* name, double flops_amount, double priority, double bound);