namespace test

abstract class test.ClassValAbstract : jet.Any {
    abstract val a: jet.Int
    final /*constructor*/ fun <init>(): test.ClassValAbstract
}
