-void process_suspend(smx_actor_t process) [[block]];
-int process_join(smx_actor_t process, double timeout) [[block]];
-int process_sleep(double duration) [[block]];
-
-int execution_wait(simgrid::kernel::activity::ExecImpl* execution) [[block]];
-int execution_test(simgrid::kernel::activity::ExecImpl* execution) [[block]];
-
-void comm_send(smx_actor_t sender, smx_mailbox_t mbox, double task_size, double rate, void* src_buff, size_t src_buff_size, simix_match_func_t match_fun, simix_copy_data_func_t copy_data_fun, void* data, double timeout) [[block]];
-boost::intrusive_ptr<simgrid::kernel::activity::ActivityImpl> comm_isend(smx_actor_t sender, smx_mailbox_t mbox, double task_size, double rate, void* src_buff, size_t src_buff_size, simix_match_func_t match_fun, simix_clean_func_t clean_fun, simix_copy_data_func_t copy_data_fun, void* data, int detached);
-void comm_recv(smx_actor_t receiver, smx_mailbox_t mbox, void* dst_buff, size_t* dst_buff_size, simix_match_func_t match_fun, simix_copy_data_func_t copy_data_fun, void* data, double timeout, double rate) [[block]];
-boost::intrusive_ptr<simgrid::kernel::activity::ActivityImpl> comm_irecv(smx_actor_t receiver, smx_mailbox_t mbox, void* dst_buff, size_t* dst_buff_size, simix_match_func_t match_fun, simix_copy_data_func_t copy_data_fun, void* data, double rate);
-int comm_waitany(boost::intrusive_ptr<simgrid::kernel::activity::ActivityImpl>* comms, size_t count, double timeout) [[block]];
-void comm_wait(simgrid::kernel::activity::CommImpl* comm, double timeout) [[block]];
-int comm_test(simgrid::kernel::activity::CommImpl* comm) [[block]];
-int comm_testany(simgrid::kernel::activity::CommImpl** comms, size_t count) [[block]];
-
-void mutex_lock(smx_mutex_t mutex) [[block]];
-int mutex_trylock(smx_mutex_t mutex);
-void mutex_unlock(smx_mutex_t mutex);
-
-void cond_wait(smx_cond_t cond, smx_mutex_t mutex) [[block]];
-int cond_wait_timeout(smx_cond_t cond, smx_mutex_t mutex, double timeout) [[block]];
-
-void sem_acquire(smx_sem_t sem) [[block]];
-int sem_acquire_timeout(smx_sem_t sem, double timeout) [[block]];
-
-sg_size_t io_wait(simgrid::kernel::activity::IoImpl* io) [[block]];
-
-int mc_random(int min, int max);
-