FILE: kt9443.kt
    public abstract class BaseClass : R|kotlin/Any| {
        public constructor(): R|BaseClass| {
            super<R|kotlin/Any|>()
        }

        protected open val menuId: R|kotlin/Int| = Int(0)
            protected get(): R|kotlin/Int|

        public final fun run(): R|kotlin/Pair<kotlin/String, kotlin/Boolean>| {
            ^run <strcat>(this@R|/BaseClass|.R|/BaseClass.menuId|).R|kotlin/to|<R|kotlin/String|, R|kotlin/Boolean|>(==(this@R|/BaseClass|.R|/BaseClass.menuId|, Int(0)))
        }

    }
    public final class ImplClass : R|BaseClass| {
        public constructor(): R|ImplClass| {
            super<R|BaseClass|>()
        }

        protected open override val menuId: R|kotlin/Int| = Int(3)
            protected get(): R|kotlin/Int|

    }
    public final fun box(): R|kotlin/String| {
        lval result: R|kotlin/Pair<kotlin/String, kotlin/Boolean>| = R|/ImplClass.ImplClass|().R|/BaseClass.run|()
        when () {
            !=(R|<local>/result|, String(3).R|kotlin/to|<R|kotlin/String|, R|kotlin/Boolean|>(Boolean(false))) ->  {
                ^box <strcat>(String(Fail: ), R|<local>/result|)
            }
        }

        ^box String(OK)
    }
