X_out.java

public class X extends @Marker Object {
}