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