-void SIMIX_pre_file_get_size(smx_simcall_t simcall, smx_file_t fd);
-
-smx_action_t SIMIX_file_read(smx_process_t process, void* ptr, size_t size, size_t nmemb, smx_file_t stream);
-smx_action_t SIMIX_file_write(smx_process_t process, const void* ptr, size_t size, size_t nmemb, smx_file_t stream);
-smx_action_t SIMIX_file_open(smx_process_t process, const char* storage, const char* path, const char* mode);
+size_t SIMIX_pre_file_get_size(smx_simcall_t simcall, smx_file_t fd);
+
+smx_action_t SIMIX_file_read(smx_process_t process, void* ptr, size_t size,
+ smx_file_t fd);
+smx_action_t SIMIX_file_write(smx_process_t process, const void* ptr,
+ size_t size, smx_file_t fd);
+smx_action_t SIMIX_file_open(smx_process_t process, const char* storage,
+ const char* path);