[
    {
        "Label" = "dict0";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            
                        ];
                        [
                            [
                                
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "DataType";
                                            "String"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "DataType";
                                            "String"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "DictType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ];
                                    [
                                        "DataType";
                                        "String"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "dict1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                [
                                    "1";
                                    "foo"
                                ]
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    [
                                        "1";
                                        "foo"
                                    ]
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ];
                        [
                            [
                                [
                                    "1";
                                    "foo"
                                ]
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "DataType";
                                            "String"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "DataType";
                                            "String"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "DictType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ];
                                    [
                                        "DataType";
                                        "String"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "enum1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "0";
                                "Void"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "0";
                                    "Void"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "0";
                            "Void"
                        ];
                        [
                            [
                                "0";
                                "Void"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "foo";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "foo";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "foo";
                                                [
                                                    "VoidType"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "enum2a";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1";
                                "Void"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1";
                                    "Void"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1";
                            "Void"
                        ];
                        [
                            [
                                "1";
                                "Void"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "bar";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ];
                                                [
                                                    "foo";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "bar";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ];
                                                [
                                                    "foo";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "bar";
                                                [
                                                    "VoidType"
                                                ]
                                            ];
                                            [
                                                "foo";
                                                [
                                                    "VoidType"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "enum2b";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "0";
                                "Void"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "0";
                                    "Void"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "0";
                            "Void"
                        ];
                        [
                            [
                                "0";
                                "Void"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "bar";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ];
                                                [
                                                    "foo";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "bar";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ];
                                                [
                                                    "foo";
                                                    [
                                                        "VoidType"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "bar";
                                                [
                                                    "VoidType"
                                                ]
                                            ];
                                            [
                                                "foo";
                                                [
                                                    "VoidType"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "bar";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ];
                                                    [
                                                        "foo";
                                                        [
                                                            "VoidType"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "list0";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            
                        ];
                        [
                            [
                                
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "ListType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "ListType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "ListType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "list1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1"
                        ];
                        [
                            [
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "ListType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "ListType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "ListType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "list2";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1";
                                "2"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1";
                                    "2"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1";
                            "2"
                        ];
                        [
                            [
                                "1";
                                "2"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "ListType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "ListType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "ListType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "ListType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "set0";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            
                        ];
                        [
                            [
                                
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "VoidType"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "VoidType"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "DictType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ];
                                    [
                                        "VoidType"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "set1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                [
                                    "1";
                                    "Void"
                                ]
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    [
                                        "1";
                                        "Void"
                                    ]
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            [
                                "1";
                                "Void"
                            ]
                        ];
                        [
                            [
                                [
                                    "1";
                                    "Void"
                                ]
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "VoidType"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "DictType";
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "VoidType"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "DictType";
                                    [
                                        "DataType";
                                        "Int32"
                                    ];
                                    [
                                        "VoidType"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "DictType";
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "VoidType"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "struct0";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            
                        ];
                        [
                            [
                                
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "StructType";
                                        [
                                            
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "StructType";
                                        [
                                            
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "StructType";
                                    [
                                        
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "StructType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "struct1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1"
                        ];
                        [
                            [
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "StructType";
                                    [
                                        [
                                            "a";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "struct2";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1";
                                    "foo"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1";
                            "foo"
                        ];
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ];
                                            [
                                                "b";
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ];
                                            [
                                                "b";
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "StructType";
                                    [
                                        [
                                            "a";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ];
                                        [
                                            "b";
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "tag";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            "1"
                        ];
                        #;
                        [
                            [
                                "1"
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        "1";
                        [
                            "1"
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "TaggedType";
                                        "foo";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "TaggedType";
                                        "foo";
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TaggedType";
                                            "foo";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TaggedType";
                                            "foo";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TaggedType";
                                            "foo";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "TaggedType";
                                    "foo";
                                    [
                                        "DataType";
                                        "Int32"
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "TaggedType";
                                            "foo";
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "tuple0";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            
                        ];
                        [
                            [
                                
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "TupleType";
                                        [
                                            
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "TupleType";
                                        [
                                            
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "TupleType";
                                    [
                                        
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "TupleType";
                                            [
                                                
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "tuple1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1"
                        ];
                        [
                            [
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "DataType";
                                            "Int32"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "tuple2";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1";
                                    "foo"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1";
                            "foo"
                        ];
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "DataType";
                                            "Int32"
                                        ];
                                        [
                                            "DataType";
                                            "String"
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "varstruct1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "0";
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "0";
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "0";
                            "1"
                        ];
                        [
                            [
                                "0";
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "varstruct2a";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "0";
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "0";
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "0";
                            "1"
                        ];
                        [
                            [
                                "0";
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ];
                                            [
                                                "b";
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "varstruct2b";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1";
                                    "foo"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1";
                            "foo"
                        ];
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "StructType";
                                            [
                                                [
                                                    "a";
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ];
                                                [
                                                    "b";
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "StructType";
                                        [
                                            [
                                                "a";
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ];
                                            [
                                                "b";
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "StructType";
                                                [
                                                    [
                                                        "a";
                                                        [
                                                            "DataType";
                                                            "Int32"
                                                        ]
                                                    ];
                                                    [
                                                        "b";
                                                        [
                                                            "DataType";
                                                            "String"
                                                        ]
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "vartuple1";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "0";
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "0";
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "0";
                            "1"
                        ];
                        [
                            [
                                "0";
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "vartuple2a";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "0";
                                "1"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "0";
                                    "1"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "0";
                            "1"
                        ];
                        [
                            [
                                "0";
                                "1"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    };
    {
        "Label" = "vartuple2b";
        "Unordered" = "true";
        "Write" = [
            {
                "Data" = [
                    [
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ];
                        #;
                        [
                            [
                                [
                                    "1";
                                    "foo"
                                ]
                            ]
                        ];
                        [
                            #
                        ];
                        #;
                        [
                            "1";
                            "foo"
                        ];
                        [
                            [
                                "1";
                                "foo"
                            ]
                        ]
                    ]
                ];
                "Type" = [
                    "ListType";
                    [
                        "StructType";
                        [
                            [
                                "opt_1+";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_1-";
                                [
                                    "OptionalType";
                                    [
                                        "VariantType";
                                        [
                                            "TupleType";
                                            [
                                                [
                                                    "DataType";
                                                    "Int32"
                                                ];
                                                [
                                                    "DataType";
                                                    "String"
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2++";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2+-";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "opt_2--";
                                [
                                    "OptionalType";
                                    [
                                        "OptionalType";
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "plain";
                                [
                                    "VariantType";
                                    [
                                        "TupleType";
                                        [
                                            [
                                                "DataType";
                                                "Int32"
                                            ];
                                            [
                                                "DataType";
                                                "String"
                                            ]
                                        ]
                                    ]
                                ]
                            ];
                            [
                                "tuple";
                                [
                                    "TupleType";
                                    [
                                        [
                                            "VariantType";
                                            [
                                                "TupleType";
                                                [
                                                    [
                                                        "DataType";
                                                        "Int32"
                                                    ];
                                                    [
                                                        "DataType";
                                                        "String"
                                                    ]
                                                ]
                                            ]
                                        ]
                                    ]
                                ]
                            ]
                        ]
                    ]
                ]
            }
        ]
    }
]