sefuns read_data und write_data erstellt
Diese entsprechen in der Funktion genau den efuns
read_file() und write_file(), stellen aber sicher,
dass das File immer unterhalb von /data/ liegt,
indem der Pfad ggf. angepasst wird.
Change-Id: Ibbe3cadc8d42ca2e83287d7c4893f5c3e3895837
diff --git a/secure/simul_efun/simul_efun.c b/secure/simul_efun/simul_efun.c
index 2a89fcf..e36d141 100644
--- a/secure/simul_efun/simul_efun.c
+++ b/secure/simul_efun/simul_efun.c
@@ -86,6 +86,7 @@
#include __DIR__"shadow.c"
#include __DIR__"livings.c"
#include __DIR__"comm.c"
+#include __DIR__"files.c"
#define TO efun::this_object()
#define TI efun::this_interactive()