@@ -717,10 +717,16 @@ int objc_registerTaggedPointerClass(Class class) { return glue_objc_registerTaggedPointerClass(class); } + +bool +object_isTaggedPointer(id object) +{ + return glue_object_isTaggedPointer(object); +} Class object_getTaggedPointerClass(id object) { return glue_object_getTaggedPointerClass(object);