1 files changed, 8 insertions, 0 deletions
diff --git a/c_stubs/test-stdio.c b/c_stubs/test-stdio.c
new file mode 100644
index 0000000000..8f4ea6d1bb
--- /dev/null
+++ b/c_stubs/test-stdio.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+int
+main (void)
+{
+  printf ("Hello world\n");
+  return 0;
+}