-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);