/*
 * @test
 */
public class Test1 {
    public static void main(String... args) { }
}

