diff --git a/runtime/GCCLibraries/libgcc/eprintf.c b/runtime/GCCLibraries/libgcc/eprintf.c
new file mode 100644
index 0000000..d4229fa
--- /dev/null
+++ b/runtime/GCCLibraries/libgcc/eprintf.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+void abort(void);
+
+/* This is used by the `assert' macro.  */
+void
+__eprintf (const char *string, const char *expression,
+           unsigned int line, const char *filename)
+{
+  fprintf (stderr, string, expression, line, filename);
+  fflush (stderr);
+  abort ();
+}
+