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

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

  }

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

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

}