1 files changed, 13 insertions, 0 deletions
diff --git a/REORG.TODO/elf/unload3mod4.c b/REORG.TODO/elf/unload3mod4.c
new file mode 100644
index 0000000000..52f808e79b
--- /dev/null
+++ b/REORG.TODO/elf/unload3mod4.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+extern int foo (int x);
+
+int
+bar (int x)
+{
+  puts ("bar");
+  fflush (stdout);
+  x = foo (x - 4);
+  puts ("bar after foo");
+  return x;
+}