@@ -19,11 +19,11 @@
 
 #import "private.h"
 
 #define NUM_TAGGED_POINTER_CLASSES 0x7F
 
-static Class taggedPointerClasses[NUM_TAGGED_POINTER_CLASSES];
+Class objc_tagged_pointer_classes[NUM_TAGGED_POINTER_CLASSES];
 static uint_fast8_t taggedPointerClassesCount;
 
 int_fast8_t
 objc_registerTaggedPointerClass(Class class)
 {
@@ -35,11 +35,11 @@
 		objc_global_mutex_unlock();
 		return -1;
 	}
 
 	i = taggedPointerClassesCount++;
-	taggedPointerClasses[i] = class;
+	objc_tagged_pointer_classes[i] = class;
 
 	objc_global_mutex_unlock();
 
 	return i;
 }
@@ -53,11 +53,11 @@
 	pointer >>= 1;
 
 	if (pointer >= NUM_TAGGED_POINTER_CLASSES)
 		return Nil;
 
-	return taggedPointerClasses[pointer];
+	return objc_tagged_pointer_classes[pointer];
 }
 
 uintptr_t
 object_getTaggedPointerValue(id object)
 {