FILE: scriptLevelDestructuringWithAnnotation.kts
    SCRIPT: <script-scriptLevelDestructuringWithAnnotation.kts>

        @DestrAnno(<strcat>(String(destr 1 ), prop#)) [DestructuringDeclarationContainerVariableMarkerKey=true, ScriptTopLevelDeclaration=true] lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
        @LeftAnno(<strcat>(String(a ), prop#)) public final [DestructuringDeclarationContainerVariableKey=<local>/<destruct>, ScriptTopLevelDeclaration=true] val a: <implicit> = R|<local>/<destruct>|.component1#()
            public get(): <implicit>

        @RightAnno(<strcat>(String(b ), prop#)) public final [DestructuringDeclarationContainerVariableKey=<local>/<destruct>, ScriptTopLevelDeclaration=true] val b: <implicit> = R|<local>/<destruct>|.component2#()
            public get(): <implicit>

        @Destr2Anno(<strcat>(String(destr 1 ), prop#)) [DestructuringDeclarationContainerVariableMarkerKey=true, ScriptTopLevelDeclaration=true] lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
        @SecondLeftAnno(<strcat>(String(c ), prop#)) public final [DestructuringDeclarationContainerVariableKey=<local>/<destruct>, ScriptTopLevelDeclaration=true] val c: <implicit> = R|<local>/<destruct>|.component1#()
            public get(): <implicit>

        @SecondRightAnno(<strcat>(String(d ), prop#)) public final [DestructuringDeclarationContainerVariableKey=<local>/<destruct>, ScriptTopLevelDeclaration=true] val d: <implicit> = R|<local>/<destruct>|.component2#()
            public get(): <implicit>
