public final class TopLevelClass /* TopLevelClass*/ {
  @org.jetbrains.annotations.NotNull()
  private @org.jetbrains.annotations.NotNull() int topLevelClassProperty;

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