// Compiler options: -out:test-525

public class C
{
	public static void Main ()
	{
	}
}