Forgot one file

benchmarks/lazy_factorial_main.c

@@ -0,0 +1,35 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include "gc_stack.h"
+#include <time.h>
+
+extern value body(struct thread_info *);
+
+int main(int argc, char *argv[]) {
+  value val;
+  struct thread_info* tinfo;
+  clock_t start, end;
+  double msec, sec;
+
+  // Specify number of runs
+  int n = 1;
+  if (argc > 1) n = atoi(argv[1]);
+
+  start = clock();
+  // Run Coq program
+  for (int i = 0; i < n; i ++) {
+    tinfo = make_tinfo();
+    body(tinfo);
+  }
+  end = clock();
+
+  /* TODO write string printers */
+  /* print_Coq_Init_Datatypes_list(val, print_Coq_Init_Datatypes_bool); */
+  /* printf("\n"); */
+
+  sec = (double)(end - start)/CLOCKS_PER_SEC;
+  msec = 1000*sec;
+  printf("Time taken %f seconds %f milliseconds\n", sec, msec);
+
+  return 0;
+}