-smx_sem_t sem_init (unsigned int capacity) [[nohandler]];
-void sem_release (smx_sem_t sem);
-int sem_would_block (smx_sem_t sem);
-void sem_acquire (smx_sem_t sem) [[block]];
-void sem_acquire_timeout (smx_sem_t sem, double timeout) [[block]];
-int sem_get_capacity (smx_sem_t sem);
-
-sg_size_t file_read (smx_file_t fd, sg_size_t size, sg_host_t host) [[block]];
-sg_size_t file_write (smx_file_t fd, sg_size_t size, sg_host_t host) [[block]];
-smx_file_t file_open (const char* fullpath, sg_host_t host) [[block]];
-int file_close (smx_file_t fd, sg_host_t host) [[block]];
-int file_unlink (smx_file_t fd, sg_host_t host) [[nohandler]];
-sg_size_t file_get_size (smx_file_t fd);
-sg_size_t file_tell (smx_file_t fd);
-int file_seek (smx_file_t fd, sg_offset_t offset, int origin);
-xbt_dynar_t file_get_info (smx_file_t fd);
-int file_move (smx_file_t fd, const char* fullpath);
-
-sg_size_t storage_get_free_size (smx_storage_t storage);
-sg_size_t storage_get_used_size (smx_storage_t name);
-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_synchro_t synchro, const char* category) [[nohandler]];
-
-void run_kernel (void* code) [[nohandler]];