xamarin-macios/tests/scripted/bug-13945/app.cs

class Test {
	static void Main ()
	{
		System.Console.WriteLine (typeof (UIKit.UIButton));
		System.Console.WriteLine (typeof (Native));
	}
}