/* @test */

public class Test {
    public static void main(String... args) { }
}