const char *path);
size_t SIMIX_file_get_size(smx_process_t process, smx_file_t fd);
+size_t SIMIX_pre_storage_get_free_size(smx_simcall_t simcall, smx_storage_t storage);
+size_t SIMIX_storage_get_free_size(smx_process_t process, smx_storage_t storage);
+
void SIMIX_post_io(smx_action_t action);
void SIMIX_io_destroy(smx_action_t action);
void SIMIX_io_finish(smx_action_t action);