1 files changed, 8 insertions, 0 deletions
diff --git a/REORG.TODO/elf/pathoptobj.c b/REORG.TODO/elf/pathoptobj.c
new file mode 100644
index 0000000000..a452c2d7d4
--- /dev/null
+++ b/REORG.TODO/elf/pathoptobj.c
@@ -0,0 +1,8 @@
+extern int in_renamed (int);
+
+
+int
+in_renamed (int a)
+{
+  return a - 10;
+}