From 70b850cf551e8d8cb287a8b0e2d93c204f26b3e4 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 5 Apr 2006 22:09:52 +0000
Subject: [PATCH] Runtime code

---
 Robust/src/Runtime/runtime.c | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 Robust/src/Runtime/runtime.c

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
new file mode 100644
index 00000000..6dca89fd
--- /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);
+}
-- 
2.34.1