diff --git a/include/unknown_072E50.h b/include/unknown_072E50.h
new file mode 100644
index 00000000..d0115848
--- /dev/null
+++ b/include/unknown_072E50.h
@@ -0,0 +1,11 @@
+#ifndef _UNKNOWN_072E50_H_
+#define _UNKNOWN_072E50_H_
+
+#include "types.h"
+
+extern s32 D_800DE440;
+extern char D_800DE444[68];
+extern s32 D_800DE488;
+extern s32 D_800DE48C;
+
+#endif
diff --git a/src/unknown_072E50.c b/src/unknown_072E50.c
index f6ad31ab..de6242bb 100644
--- a/src/unknown_072E50.c
+++ b/src/unknown_072E50.c
@@ -1,6 +1,8 @@
 /* The comment below is needed for this file to be picked up by generate_ld */
 /* RAM_POS: 0x80072250 */
 
+#include "unknown_072E50.h"
+
 #include "types.h"
 #include "macros.h"
 
diff --git a/undefined_syms.txt b/undefined_syms.txt
index e881049b..101e8371 100755
--- a/undefined_syms.txt
+++ b/undefined_syms.txt
@@ -72,10 +72,6 @@ D_800DD434 = 0x800DD434;
 D_800DD438 = 0x800DD438;
 D_800DD43C = 0x800DD43C;
 D_800DDC3E = 0x800DDC3E;
-D_800DE440 = 0x800DE440;
-D_800DE444 = 0x800DE444;
-D_800DE488 = 0x800DE488;
-D_800DE48C = 0x800DE48C;
 D_800DE490 = 0x800DE490;
 D_800DE4B0 = 0x800DE4B0;
 D_800DE4B4 = 0x800DE4B4;