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