1 files changed, 9 insertions, 0 deletions
diff --git a/REORG.TODO/elf/nodelmod4.c b/REORG.TODO/elf/nodelmod4.c
new file mode 100644
index 0000000000..2cca43a6e8
--- /dev/null
+++ b/REORG.TODO/elf/nodelmod4.c
@@ -0,0 +1,9 @@
+int var_in_mod4 = 99;
+
+static void
+__attribute__ ((__destructor__))
+destr (void)
+{
+  extern int fini_ran;
+  fini_ran = 1;
+}