added objc_getProtocol external method