public final class RegularClassWithValueConstructor /* RegularClassWithValueConstructor*/ {
  private final int property;

  public  RegularClassWithValueConstructor();//  .ctor()

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

  public final int getProperty();//  getProperty()
}
