2 files changed, 11 insertions, 5 deletions
diff --git a/test/harness/mainlists.c b/test/harness/mainlists.c
index ef11f6ef..281b919f 100644
--- a/test/harness/mainlists.c
+++ b/test/harness/mainlists.c
@@ -2,11 +2,6 @@
 #include <stddef.h>
 #include <stdlib.h>
 
-void * compcert_alloc(int sz)
-{
-  return malloc(sz);
-}
-
 struct cons { int hd; struct cons * tl; };
 typedef struct cons * list;
 
diff --git a/test/harness/mainswitchtbl.c b/test/harness/mainswitchtbl.c
new file mode 100644
index 00000000..24ba17e7
--- /dev/null
+++ b/test/harness/mainswitchtbl.c
@@ -0,0 +1,11 @@
+#include <stdlib.h>
+#include <stdio.h>
+
+extern int f(int);
+
+int main(int argc, char ** argv)
+{
+  int i;
+  for (i = 0; i < 10; i++) printf("%2d -> %2d\n", i, f(i));
+  return 0;
+}