namespace <root>

internal open class A : jet.Any {
    public final /*constructor*/ fun <init>(): A
    internal open fun foo(): jet.Tuple0
}
internal open class B : A {
    public final /*constructor*/ fun <init>(): B
    internal open override /*1*/ fun foo(): jet.Tuple0
}
internal open class C : B {
    public final /*constructor*/ fun <init>(): C
    internal open override /*1*/ fun foo(): jet.Tuple0
}
internal final fun box(/*0*/ c: C): jet.Tuple0
