}
smx_storage_t SIMIX_storage_create(const char *name, void *storage, void *data);
void SIMIX_storage_destroy(void *s);
void SIMIX_pre_file_read(smx_simcall_t simcall, smx_file_t fd, sg_size_t size);
void SIMIX_pre_file_write(smx_simcall_t simcall,smx_file_t fd, sg_size_t size);
}
smx_storage_t SIMIX_storage_create(const char *name, void *storage, void *data);
void SIMIX_storage_destroy(void *s);
void SIMIX_pre_file_read(smx_simcall_t simcall, smx_file_t fd, sg_size_t size);
void SIMIX_pre_file_write(smx_simcall_t simcall,smx_file_t fd, sg_size_t size);