TransUnit(
    [
        DefStateMachine {
            name: Name {
                data: "S",
                node_id: Span {
                    start: [ local path prefix ]/state-machine-dictionary.fpp:1:15,
                    end: [ local path prefix ]/state-machine-dictionary.fpp:1:16,
                },
            },
            members: Some(
                [
                    DefAliasType {
                        name: Name {
                            data: "T",
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:2:19,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:2:20,
                            },
                        },
                        type_name: TypeName {
                            kind: Integer(
                                U32,
                            ),
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:2:23,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:2:26,
                            },
                        },
                        is_dictionary_def: true,
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:2:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:2:26,
                        },
                    },
                    DefConstant {
                        name: Name {
                            data: "c",
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:3:23,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:3:24,
                            },
                        },
                        value: Expr {
                            kind: LiteralInt(
                                "1",
                            ),
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:3:27,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:3:28,
                            },
                        },
                        is_dictionary_def: true,
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:3:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:3:28,
                        },
                    },
                    DefArray {
                        name: Name {
                            data: "A",
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:4:20,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:4:21,
                            },
                        },
                        size: Expr {
                            kind: LiteralInt(
                                "3",
                            ),
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:4:25,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:4:26,
                            },
                        },
                        elt_type: TypeName {
                            kind: Integer(
                                U32,
                            ),
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:4:28,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:4:31,
                            },
                        },
                        default: None,
                        format: None,
                        is_dictionary_def: true,
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:4:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:4:31,
                        },
                    },
                    DefEnum {
                        name: Name {
                            data: "E",
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:5:19,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:5:20,
                            },
                        },
                        type_name: None,
                        constants: [
                            DefEnumConstant {
                                name: Name {
                                    data: "X",
                                    node_id: Span {
                                        start: [ local path prefix ]/state-machine-dictionary.fpp:5:23,
                                        end: [ local path prefix ]/state-machine-dictionary.fpp:5:24,
                                    },
                                },
                                value: None,
                                node_id: Span {
                                    start: [ local path prefix ]/state-machine-dictionary.fpp:5:23,
                                    end: [ local path prefix ]/state-machine-dictionary.fpp:5:24,
                                },
                            },
                        ],
                        default: None,
                        is_dictionary_def: true,
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:5:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:5:26,
                        },
                    },
                    DefStruct {
                        name: Name {
                            data: "St",
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:6:21,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:6:23,
                            },
                        },
                        members: [
                            StructTypeMember {
                                name: Name {
                                    data: "x",
                                    node_id: Span {
                                        start: [ local path prefix ]/state-machine-dictionary.fpp:6:26,
                                        end: [ local path prefix ]/state-machine-dictionary.fpp:6:27,
                                    },
                                },
                                size: None,
                                type_name: TypeName {
                                    kind: Integer(
                                        U32,
                                    ),
                                    node_id: Span {
                                        start: [ local path prefix ]/state-machine-dictionary.fpp:6:29,
                                        end: [ local path prefix ]/state-machine-dictionary.fpp:6:32,
                                    },
                                },
                                format: None,
                                node_id: Span {
                                    start: [ local path prefix ]/state-machine-dictionary.fpp:6:26,
                                    end: [ local path prefix ]/state-machine-dictionary.fpp:6:32,
                                },
                            },
                        ],
                        default: None,
                        is_dictionary_def: true,
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:6:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:6:34,
                        },
                    },
                    SpecInitialTransition {
                        transition: TransitionExpr {
                            actions: None,
                            target: Unqualified {
                                name: Ident {
                                    data: "S1",
                                    node_id: Span {
                                        start: [ local path prefix ]/state-machine-dictionary.fpp:7:17,
                                        end: [ local path prefix ]/state-machine-dictionary.fpp:7:19,
                                    },
                                },
                                is_absolute: false,
                                node_id: Span {
                                    start: [ local path prefix ]/state-machine-dictionary.fpp:7:17,
                                    end: [ local path prefix ]/state-machine-dictionary.fpp:7:19,
                                },
                            },
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:7:11,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:7:19,
                            },
                        },
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:7:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:7:19,
                        },
                    },
                    DefState {
                        name: Name {
                            data: "S1",
                            node_id: Span {
                                start: [ local path prefix ]/state-machine-dictionary.fpp:8:9,
                                end: [ local path prefix ]/state-machine-dictionary.fpp:8:11,
                            },
                        },
                        members: [],
                        node_id: Span {
                            start: [ local path prefix ]/state-machine-dictionary.fpp:8:3,
                            end: [ local path prefix ]/state-machine-dictionary.fpp:8:11,
                        },
                    },
                ],
            ),
            node_id: Span {
                start: [ local path prefix ]/state-machine-dictionary.fpp:1:1,
                end: [ local path prefix ]/state-machine-dictionary.fpp:9:2,
            },
        },
    ],
)