class Derived : Base {
  init {
    <this>(super<Derived>).#value = 0
  }

  constructor() /* primary */ {
    super/*Base*/()
    /* <init>() */

  }

  fun getValue(): Int {
    return <this>(super<Derived>).#value
  }

  fun setValue(value: Int) {
    <this>(super<Derived>).#value = value
  }

}