C interface to the instrument interface

diff --git a/Repair/RepairCompiler/MCC/Runtime/cinstrument.h b/Repair/RepairCompiler/MCC/Runtime/cinstrument.h
new file mode 100755 (executable)
index 0000000..7e9fc44
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/Runtime/cinstrument.h
@@ -0,0 +1,18 @@
+/* Defines interfaces for the applications and exports function calls that  
+   the applications should use instead of the standard ones. */
+
+#ifndef INSTRUMENT_H
+#define INSTUMENT_H
+
+void alloc(void *ptr,int size);
+void dealloc(void *ptr);
+void *ourcalloc(size_t nmemb, size_t size);
+void *ourmalloc(size_t size);
+void ourfree(void *ptr);
+void *ourrealloc(void *ptr, size_t size);
+void initializemmap();
+void resettypemap();
+bool assertvalidtype(int ptr, int structure);
+bool assertvalidmemory(int ptr, int structure);
+void initializestack(void *);
+#endif