open class Base {
  open val bar: String
    field = ""
    open get

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

  }

  open fun foo() {
  }

}

class Derived : Base, BaseI {
  constructor() /* primary */ {
    super/*Base*/()
    /* <init>() */

  }

  override fun foo() {
    super<Base>.foo()
  }

  override val bar: String
    override get(): String {
      return super<Base>.<get-bar>()
    }

}

interface BaseI {
  abstract fun foo()

  abstract val bar: String
    abstract get

}