FILE: [ResolvedTo(IMPORTS)] topLevelPropertyScript.kts
    context(<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs)
    SCRIPT: [ResolvedTo(BODY_RESOLVE)] 
        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|

        public? final? [ResolvedTo(RAW_FIR)] var x: Int
            public? [ResolvedTo(RAW_FIR)] get(): Int {
                ^ field#
            }
            public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| {
                field# = value#
            }

        public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = IntegerLiteral(42)
            public? [ResolvedTo(RAW_FIR)] get(): <implicit>

        public? final? [ResolvedTo(RAW_FIR)] var z: Int = IntegerLiteral(15)
            public? [ResolvedTo(RAW_FIR)] get(): Int
            public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit|

