diff --git a/runtime/runtime.h b/runtime/runtime.h
index 1cf9ad714..ae3c7656d 100644
--- a/runtime/runtime.h
+++ b/runtime/runtime.h
@@ -2,6 +2,7 @@
 #define __LAMA_RUNTIME__
 
 #include "runtime_common.h"
+
 #include <assert.h>
 #include <ctype.h>
 #include <errno.h>
@@ -16,6 +17,6 @@
 
 #define WORD_SIZE (CHAR_BIT * sizeof(ptrt))
 
-_Noreturn void failure (char *s, ...);
+void failure (char *s, ...);
 
 #endif
diff --git a/runtime32/dune b/runtime32/_dune
similarity index 100%
rename from runtime32/dune
rename to runtime32/_dune
diff --git a/tmp/Hello.bc b/tmp/Hello.bc
new file mode 100644
index 000000000..d03cebe93
Binary files /dev/null and b/tmp/Hello.bc differ
diff --git a/tmp/Sort.bc b/tmp/Sort.bc
new file mode 100644
index 000000000..263068563
Binary files /dev/null and b/tmp/Sort.bc differ