// Compiler options: -r:test-414-lib.dll
public class BB : AA
{
	protected override string Data {
		get { return null; }
	}
	public static void Main () {}
}