Runtime code

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
new file mode 100644 (file)
index 0000000..6dca89f
--- /dev/null
+++ b/Robust/src/Runtime/runtime.c
@@ -0,0 +1,10 @@
+#include "runtime.h"
+#include "structdefs.h"
+
+int ___Object______hashcode____(struct ___Object___ * ___this___) {
+  return (int) ___this___;
+}
+
+void ___System______printInt____I(int x) {
+  printf("%d\n",x);
+}