public abstract class AnotherDerived /* AnotherDerived*/ extends Base {
  private final int x;

  private final int y;

  private final int z;

  @java.lang.Override()
  protected final void v();//  v()

  @java.lang.Override()
  protected int getZ();//  getZ()

  @java.lang.Override()
  public int getX$light_idea_test_case();//  getX$light_idea_test_case()

  @java.lang.Override()
  public int getY();//  getY()

  public  AnotherDerived(int, int, int);//  .ctor(int, int, int)

  public abstract int getAbstractProp();//  getAbstractProp()

  public abstract void noReturn(@org.jetbrains.annotations.NotNull() @org.jetbrains.annotations.NotNull() java.lang.String);//  noReturn(@org.jetbrains.annotations.NotNull() java.lang.String)
}

public abstract class Base /* Base*/ {
  private int y = 1 /* initializer type: int */;

  private int z = 1 /* initializer type: int */;

  @org.jetbrains.annotations.Nullable()
  protected @org.jetbrains.annotations.Nullable() java.lang.Integer v();//  v()

  protected int getZ();//  getZ()

  protected void setZ(int);//  setZ(int)

  public  Base(int);//  .ctor(int)

  public abstract int abs();//  abs()

  public final void nv();//  nv()

  public int getX$light_idea_test_case();//  getX$light_idea_test_case()

  public int getY();//  getY()

  public void setY(int);//  setY(int)
}

public final class Derived /* Derived*/ extends Base implements IntfWithProp {
  private final int x = 3 /* initializer type: int */;

  @java.lang.Override()
  @org.jetbrains.annotations.NotNull()
  public @org.jetbrains.annotations.NotNull() error.NonExistentClass v();//  v()

  @java.lang.Override()
  public int abs();//  abs()

  @java.lang.Override()
  public int getX();//  getX()

  public  Derived(int);//  .ctor(int)
}

public abstract interface Intf /* Intf*/ {
  public abstract int v();//  v()
}

public abstract interface IntfWithProp /* IntfWithProp*/ extends Intf {
  public abstract int getX();//  getX()
}

final class Private /* Private*/ {
  @java.lang.Override()
  public boolean getOverridesNothing();//  getOverridesNothing()

  public  Private();//  .ctor()
}
