1 files changed, 9 insertions, 0 deletions
diff --git a/REORG.TODO/elf/circlemod2.c b/REORG.TODO/elf/circlemod2.c
new file mode 100644
index 0000000000..ed8c1175fb
--- /dev/null
+++ b/REORG.TODO/elf/circlemod2.c
@@ -0,0 +1,9 @@
+extern void circlemod2_undefined (void);
+extern int circlemod3 (void);
+
+int
+circlemod2 (void)
+{
+  circlemod2_undefined ();
+  return circlemod3 ();
+}