A console application that reproduces the bug as reported in https://bugzilla.xamarin.com/show_bug.cgi?id=19039