--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/runtime/__init__.py	Fri Sep 21 17:48:34 2007 +0200
@@ -0,0 +1,10 @@
+# module which import C files as strings
+
+import os
+
+def code(name):
+    filename = os.path.join(os.path.split(__file__)[0],name + ".c")
+    if os.path.exists(filename):
+        return open(filename).read()
+    else:
+        return "#error %s target not implemented !!!\n"%name