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