FILE: init.kt
    public? final? class WithInit {
        public? constructor(x: Int): super<kotlin/Any>()

        public? final? property x(val): Int
            public? get(): Int

        init {
            this#.x# = x#
        }

    }
