trait A {
    val v : Int
    public var int : Int
        private set

    protected fun f() : Int
}

class B : A {
    override var int: Int = 0
        get set
    override fun f(): Int {
    }
    override val v: Int = 0
        get
}

//internal trait A defined in root package
//internal abstract val v : jet.Int defined in A
//public abstract var int : jet.Int defined in A
//private abstract fun <set-int>(<set-?> : jet.Int) : Unit defined in A
//protected abstract fun f() : jet.Int defined in A
//internal final class B : A defined in root package
//public open var int : jet.Int defined in B
//public open fun <get-int>() : jet.Int defined in B
//private open fun <set-int>(<set-?> : jet.Int) : Unit defined in B
//protected open fun f() : jet.Int defined in B
//internal open val v : jet.Int defined in B
//internal open fun <get-v>() : jet.Int defined in B