package invokespecial; public class Y extends X { }