FILE: [ResolvedTo(IMPORTS)] topLevelPropertyScript.kts
    context(<script>@R|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: R|kotlin/Int|
            public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int| {
                ^ F|/x|
            }
            public [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: R|kotlin/Int|): R|kotlin/Unit| {
                F|/x| = R|<local>/value|
            }

        public final [ResolvedTo(RAW_FIR)] val y: R|kotlin/Int| = Int(42)
            public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|

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

