using Foundation;
using ObjCRuntime;
namespace Issue3875
{
[Protocol, Model]
[BaseType (typeof(NSObject))]
interface AProtocol
}