// Compiler options: -r:test-851-lib.dll

public class C : I
{
	public static void Main ()
	{

	}
}