#include "simix/datatypes.h"
#include "smx_smurf_private.h"
-void SIMIX_pre_file_read(smx_req_t req);
+void SIMIX_pre_file_read(smx_simcall_t simcall);
smx_action_t SIMIX_file_read(smx_process_t process, char* name);
void SIMIX_post_io(smx_action_t action);
void SIMIX_io_destroy(smx_action_t action);