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