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

        public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int|
            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
                ^ F|/x|
            }
            public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| {
                F|/x| = R|<local>/value|
            }

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

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