abstract enum class X : Enum<X> {

  B = B()
  private enum entry class B : X {
    val value2: String
      field = "OK"
      get

    override val value: Function0<String>
      field = local fun <anonymous>(): String {
        return <this>.<get-value2>()
      }

      override get

    private constructor() /* primary */ {
      super/*X*/()
      /* <init>() */

    }

  }

  private constructor() /* primary */ {
    super/*Enum*/<X>()
    /* <init>() */

  }

  fun valueOf(value: String): X /* Synthetic body for ENUM_VALUEOF */

  fun values(): Array<X> /* Synthetic body for ENUM_VALUES */

  val entries: EnumEntries<X>
    get(): EnumEntries<X> /* Synthetic body for ENUM_ENTRIES */

  abstract val value: Function0<String>
    abstract get

}

fun box(): String {
  return X.B.<get-value>().invoke()
}