+ case SIMCALL_FILE_WRITE:
+ SIMIX_pre_file_write(simcall);
+ break;
+
+ case SIMCALL_FILE_OPEN:
+ SIMIX_pre_file_open(simcall);
+ break;
+
+ case SIMCALL_FILE_CLOSE:
+ SIMIX_pre_file_close(simcall);
+ break;
+
+ case SIMCALL_FILE_STAT:
+ SIMIX_pre_file_stat(simcall);
+ break;
+
+ case SIMCALL_FILE_UNLINK:
+ SIMIX_pre_file_unlink(simcall);
+ break;
+
+ case SIMCALL_FILE_LS:
+ SIMIX_pre_file_ls(simcall);
+ break;
+
+ case SIMCALL_ASR_GET_PROPERTIES:
+ simcall->asr_get_properties.result =
+ SIMIX_asr_get_properties(simcall->asr_get_properties.name);
+ SIMIX_simcall_answer(simcall);
+ break;
+