[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("english", _),
               { id_resolved = ref (None);
                 id_resolved_alternatives = ref ([]); id_type = ref (None);
                 id_svalue = ref (Unknown); id_flags = ref (0);
                 id_info_id = _ }
               )));
         attrs = []; tparams = None },
       (ModuleDef { mbody = (ModuleStruct ((Some [("english", _)]), [])) })));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("english", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ModuleDef { mbody = (ModuleStruct ((Some [("english", _)]), [])) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("english", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ModuleDef
           { mbody =
             (ModuleStruct ((Some [("english", _)]),
                [{ s =
                   (DefStmt
                      ({ name =
                         (EN
                            (Id (("greetings", _),
                               { id_resolved = ref (None);
                                 id_resolved_alternatives = ref ([]);
                                 id_type = ref (None);
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (0); id_info_id = _ }
                               )));
                         attrs = []; tparams = None },
                       (ModuleDef
                          { mbody =
                            (ModuleStruct ((Some [("greetings", _)]), [])) })));
                   s_range = None };
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("farewells", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (ModuleDef
                           { mbody =
                             (ModuleStruct ((Some [("farewells", _)]), [])) })));
                    s_range = None }
                  ]
                ))
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("english", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ModuleDef { mbody = (ModuleStruct ((Some [("english", _)]), [])) })));
    s_range = None };
  { s =
    (DirectiveStmt
       { d = (ImportAs (_, (DottedName [("std", _)]), None)); d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportAs (_, (DottedName [("std", _)]),
            (Some (("ruststd", _),
                   { id_resolved = ref ((Some ((ImportedModule ["std"]), _)));
                     id_resolved_alternatives = ref ([]);
                     id_type = ref (None); id_svalue = ref (Unknown);
                     id_flags = ref (0); id_info_id = _ }))
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d = (ImportAs (_, (DottedName [("futures", _)]), None));
         d_attrs = [] });
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("add", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("x", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyN
                                          (Id (("i32", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyN
                          (Id (("i32", _),
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             )));
                       t_attrs = [] }
                     )));
                (ParamPattern
                   (PatTyped (
                      (PatId (("y", _),
                         { id_resolved = ref ((Some (LocalVar, _)));
                           id_resolved_alternatives = ref ([]);
                           id_type =
                           ref ((Some { t =
                                        (TyN
                                           (Id (("i32", _),
                                              { id_resolved = ref (None);
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] }));
                           id_svalue = ref (Unknown); id_flags = ref (0);
                           id_info_id = _ }
                         )),
                      { t =
                        (TyN
                           (Id (("i32", _),
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              )));
                        t_attrs = [] }
                      )))
                ],
              _);
             frettype =
             (Some { t =
                     (TyN
                        (Id (("i32", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (Return (_,
                            (Some { e =
                                    (Call (
                                       { e = (Special ((Op Plus), _));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> },
                                       (_,
                                        [(Arg
                                            { e =
                                              (N
                                                 (Id (("x", _),
                                                    { id_resolved =
                                                      ref ((Some (LocalVar, _)));
                                                      id_resolved_alternatives =
                                                      ref ([]);
                                                      id_type =
                                                      ref ((Some { t =
                                                                   (TyN
                                                                    (Id (
                                                                    ("i32", _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                   t_attrs =
                                                                   [] }));
                                                      id_svalue =
                                                      ref (Unknown);
                                                      id_flags = ref (0);
                                                      id_info_id = _ }
                                                    )));
                                              e_id = 0; e_range = None;
                                              is_implicit_return = false;
                                              facts = <opaque> });
                                          (Arg
                                             { e =
                                               (N
                                                  (Id (("y", _),
                                                     { id_resolved =
                                                       ref ((Some (LocalVar,
                                                                   _)));
                                                       id_resolved_alternatives =
                                                       ref ([]);
                                                       id_type =
                                                       ref ((Some { t =
                                                                    (
                                                                    TyN
                                                                    (Id (
                                                                    ("i32", _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                    t_attrs =
                                                                    [] }));
                                                       id_svalue =
                                                       ref (Unknown);
                                                       id_flags = ref (0);
                                                       id_info_id = _ }
                                                     )));
                                               e_id = 0; e_range = None;
                                               is_implicit_return = false;
                                               facts = <opaque> })
                                          ],
                                        _)
                                       ));
                                    e_id = 0; e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> }),
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("takes_slice", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("slice", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyRef (_,
                                          { t =
                                            (TyN
                                               (Id (("str", _),
                                                  { id_resolved = ref (None);
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] }
                                          ));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyRef (_,
                          { t =
                            (TyN
                               (Id (("str", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (ExprStmt (
                            { e =
                              (Call (
                                 { e =
                                   (N
                                      (Id (("println!", _),
                                         { id_resolved = ref (None);
                                           id_resolved_alternatives =
                                           ref ([]); id_type = ref (None);
                                           id_svalue = ref (Unknown);
                                           id_flags = ref (0); id_info_id = _
                                           }
                                         )));
                                   e_id = 0; e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> },
                                 (_,
                                  [(Arg
                                      { e =
                                        (L (String (_, ("Got: {}", _), _)));
                                        e_id = 0; e_range = None;
                                        is_implicit_return = false;
                                        facts = <opaque> });
                                    (Arg
                                       { e =
                                         (N
                                            (Id (("slice", _),
                                               { id_resolved =
                                                 ref ((Some (LocalVar, _)));
                                                 id_resolved_alternatives =
                                                 ref ([]);
                                                 id_type =
                                                 ref ((Some { t =
                                                              (TyRef (_,
                                                                 { t =
                                                                   (TyN
                                                                    (Id (
                                                                    ("str", _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                   t_attrs =
                                                                   [] }
                                                                 ));
                                                              t_attrs = [] }));
                                                 id_svalue = ref (Unknown);
                                                 id_flags = ref (0);
                                                 id_info_id = _ }
                                               )));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> })
                                    ],
                                  _)
                                 ));
                              e_id = 0; e_range = None;
                              is_implicit_return = true; facts = <opaque> },
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _);
             frettype =
             (Some { t =
                     (TyArray (
                        (_,
                         (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                 e_range = None; is_implicit_return = false;
                                 facts = <opaque> }),
                         _),
                        { t =
                          (TyN
                             (Id (("u32", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                        ));
                     t_attrs = [] });
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (Return (_,
                            (Some { e =
                                    (Container (Array,
                                       (_,
                                        [{ e = (L (Int ((Some 1L), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> };
                                          { e = (L (Int ((Some 2L), _)));
                                            e_id = 0; e_range = None;
                                            is_implicit_return = false;
                                            facts = <opaque> }
                                          ],
                                        _)
                                       ));
                                    e_id = 0; e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> }),
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _);
             frettype =
             (Some { t =
                     (TyTuple
                        (_,
                         [{ t =
                            (TyN
                               (Id (("u32", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] };
                           { t =
                             (TyN
                                (Id (("u16", _),
                                   { id_resolved = ref (None);
                                     id_resolved_alternatives = ref ([]);
                                     id_type = ref (None);
                                     id_svalue = ref (Unknown);
                                     id_flags = ref (0); id_info_id = _ }
                                   )));
                             t_attrs = [] }
                           ],
                         _));
                     t_attrs = [] });
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (Return (_,
                            (Some { e =
                                    (Container (Tuple,
                                       (_,
                                        [{ e = (L (Int ((Some 1L), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> };
                                          { e = (L (Int ((Some 2L), _)));
                                            e_id = 0; e_range = None;
                                            is_implicit_return = false;
                                            facts = <opaque> }
                                          ],
                                        _)
                                       ));
                                    e_id = 0; e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> }),
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (ExprStmt (
                            { e =
                              (StmtExpr
                                 { s = (Return (_, None, _)); s_range = None
                                   });
                              e_id = 0; e_range = None;
                              is_implicit_return = false; facts = <opaque> },
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("x", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyFun ([],
                                          { t =
                                            (TyN
                                               (IdQualified
                                                  { name_last =
                                                    (("Result", _),
                                                     (Some (_,
                                                            [(TA
                                                                { t =
                                                                  (TyN
                                                                    (Id (
                                                                    ("T", _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                  t_attrs =
                                                                  [] });
                                                              (TA
                                                                 { t =
                                                                   (TyN
                                                                    (Id (
                                                                    ("E", _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                   t_attrs =
                                                                   [] })
                                                              ],
                                                            _)));
                                                    name_middle = None;
                                                    name_top = None;
                                                    name_info =
                                                    { id_resolved =
                                                      ref (None);
                                                      id_resolved_alternatives =
                                                      ref ([]);
                                                      id_type = ref (None);
                                                      id_svalue =
                                                      ref (Unknown);
                                                      id_flags = ref (0);
                                                      id_info_id = _ }
                                                    }));
                                            t_attrs = [] }
                                          ));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyFun ([],
                          { t =
                            (TyN
                               (IdQualified
                                  { name_last =
                                    (("Result", _),
                                     (Some (_,
                                            [(TA
                                                { t =
                                                  (TyN
                                                     (Id (("T", _),
                                                        { id_resolved =
                                                          ref (None);
                                                          id_resolved_alternatives =
                                                          ref ([]);
                                                          id_type =
                                                          ref (None);
                                                          id_svalue =
                                                          ref (Unknown);
                                                          id_flags = ref (0);
                                                          id_info_id = _ }
                                                        )));
                                                  t_attrs = [] });
                                              (TA
                                                 { t =
                                                   (TyN
                                                      (Id (("E", _),
                                                         { id_resolved =
                                                           ref (None);
                                                           id_resolved_alternatives =
                                                           ref ([]);
                                                           id_type =
                                                           ref (None);
                                                           id_svalue =
                                                           ref (Unknown);
                                                           id_flags = ref (0);
                                                           id_info_id = _ }
                                                         )));
                                                   t_attrs = [] })
                                              ],
                                            _)));
                                    name_middle = None; name_top = None;
                                    name_info =
                                    { id_resolved = ref (None);
                                      id_resolved_alternatives = ref ([]);
                                      id_type = ref (None);
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    }));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("x", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyN
                                          (Id (("i32", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyN
                          (Id (("i32", _),
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             )));
                       t_attrs = [] }
                     )));
                (ParamPattern
                   (PatTyped (
                      (PatId (("x", _),
                         { id_resolved = ref ((Some (LocalVar, _)));
                           id_resolved_alternatives = ref ([]);
                           id_type =
                           ref ((Some { t =
                                        (TyN
                                           (Id (("i64", _),
                                              { id_resolved = ref (None);
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] }));
                           id_svalue = ref (Unknown); id_flags = ref (0);
                           id_info_id = _ }
                         )),
                      { t =
                        (TyN
                           (Id (("i64", _),
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              )));
                        t_attrs = [] }
                      )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("accumulate", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(Param
                  { pname = (Some ("self", _));
                    ptype =
                    (Some { t =
                            (TyN
                               (Id (("self", _),
                                  { id_resolved = ref ((Some (Parameter, _)));
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] });
                    pdefault = None; pattrs = [];
                    pinfo =
                    { id_resolved = ref ((Some (Parameter, _)));
                      id_resolved_alternatives = ref ([]);
                      id_type =
                      ref ((Some { t =
                                   (TyN
                                      (Id (("self", _),
                                         { id_resolved =
                                           ref ((Some (Parameter, _)));
                                           id_resolved_alternatives =
                                           ref ([]); id_type = ref (None);
                                           id_svalue = ref (Unknown);
                                           id_flags = ref (0); id_info_id = _
                                           }
                                         )));
                                   t_attrs = [] }));
                      id_svalue = ref (Unknown); id_flags = ref (0);
                      id_info_id = _ }
                    })
                ],
              _);
             frettype =
             (Some { t =
                     (TyN
                        (IdQualified
                           { name_last =
                             (("Machine", _),
                              (Some (_,
                                     [(TAExpr
                                         { e =
                                           (StmtExpr
                                              { s =
                                                (Block
                                                   (_,
                                                    [{ s =
                                                       (ExprStmt (
                                                          { e =
                                                            (N
                                                               (IdQualified
                                                                  { name_last =
                                                                    (
                                                                    (
                                                                    "Accumulate",
                                                                    _), None);
                                                                    name_middle =
                                                                    (Some (
                                                                    QDots
                                                                    [((
                                                                    "State",
                                                                    _), None)
                                                                    ]));
                                                                    name_top =
                                                                    None;
                                                                    name_info =
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ } }));
                                                            e_id = 0;
                                                            e_range = None;
                                                            is_implicit_return =
                                                            false;
                                                            facts = <opaque>
                                                            },
                                                          _));
                                                       s_range = None }
                                                      ],
                                                    _));
                                                s_range = None });
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> })
                                       ],
                                     _)));
                             name_middle = None; name_top = None;
                             name_info =
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             }));
                     t_attrs = [] });
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Const, _))]; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("triples", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("a", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyN
                                          (Id (("B", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyN
                          (Id (("B", _),
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             )));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype =
             (Some { t =
                     (TyN
                        (IdQualified
                           { name_last =
                             (("Iterator", _),
                              (Some (_,
                                     [(TAExpr
                                         { e =
                                           (Assign (
                                              { e =
                                                (N
                                                   (Id (("Item", _),
                                                      { id_resolved =
                                                        ref (None);
                                                        id_resolved_alternatives =
                                                        ref ([]);
                                                        id_type = ref (None);
                                                        id_svalue =
                                                        ref (Unknown);
                                                        id_flags = ref (0);
                                                        id_info_id = _ }
                                                      )));
                                                e_id = 0; e_range = None;
                                                is_implicit_return = false;
                                                facts = <opaque> },
                                              _,
                                              { e =
                                                (OtherExpr (("Type", _),
                                                   [(T
                                                       { t =
                                                         (TyTuple
                                                            (_,
                                                             [{ t =
                                                                (TyN
                                                                   (Id (
                                                                    ("usize",
                                                                    _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                t_attrs = []
                                                                }
                                                               ],
                                                             _));
                                                         t_attrs = [] })
                                                     ]
                                                   ));
                                                e_id = 0; e_range = None;
                                                is_implicit_return = false;
                                                facts = <opaque> }
                                              ));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> })
                                       ],
                                     _)));
                             name_middle = None; name_top = None;
                             name_info =
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             }));
                     t_attrs = [] });
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("aborts", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _);
             frettype =
             (Some { t =
                     (TyN
                        (Id (("!", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(KeywordAttr (Extern, _));
            (OtherAttribute (("Extern", _),
               [(E
                   { e = (L (String (_, ("C", _), _))); e_id = 0;
                     e_range = None; is_implicit_return = false;
                     facts = <opaque> })
                 ]
               ))
            ];
          tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("printf", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(KeywordAttr (Extern, _));
            (OtherAttribute (("Extern", _),
               [(E
                   { e = (L (String (_, ("C", _), _))); e_id = 0;
                     e_range = None; is_implicit_return = false;
                     facts = <opaque> })
                 ]
               ))
            ];
          tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(Param
                  { pname = None;
                    ptype =
                    (Some { t =
                            (TyPointer (_,
                               { t =
                                 (TyN
                                    (Id (("c_char", _),
                                       { id_resolved = ref (None);
                                         id_resolved_alternatives = ref ([]);
                                         id_type = ref (None);
                                         id_svalue = ref (Unknown);
                                         id_flags = ref (0); id_info_id = _ }
                                       )));
                                 t_attrs = [] }
                               ));
                            t_attrs = [] });
                    pdefault = None; pattrs = [];
                    pinfo =
                    { id_resolved = ref (None);
                      id_resolved_alternatives = ref ([]);
                      id_type = ref (None); id_svalue = ref (Unknown);
                      id_flags = ref (0); id_info_id = _ }
                    });
                (ParamEllipsis _)],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName []),
            [(Direct
                (("abc", _),
                 { id_resolved = ref ((Some ((ImportedEntity ["abc"]), _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("phrases", _)]),
            [(Direct
                (("japanese", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["phrases"; "japanese"]), _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("sayings", _); ("english", _)]),
            [(Direct
                (("greetings", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity
                                  ["sayings"; "english"; "greetings"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("sayings", _); ("english", _)]),
            [(Aliased (("greetings", _),
                (("en_greetings", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity
                                  ["sayings"; "english"; "greetings"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ })
                ))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("phrases", _); ("english", _)]),
            [(Direct
                (("greetings", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity
                                  ["phrases"; "english"; "greetings"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("phrases", _); ("english", _)]),
            [(Direct
                (("farewells", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity
                                  ["phrases"; "english"; "farewells"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportAll (_,
            (DottedName [("sayings", _); ("japanese", _); ("farewells", _)]),
            _));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("self", _); ("greetings", _)]),
            [(Direct
                (("hello", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["self"; "greetings"; "hello"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("sayings", _); ("english", _)]),
            [(Direct
                (("self", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["sayings"; "english"; "self"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("sayings", _); ("english", _)]),
            [(Aliased (("greetings", _),
                (("en_greetings", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity
                                  ["sayings"; "english"; "greetings"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ })
                ))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("sayings", _); ("english", _)]),
            [(Aliased (("farewells", _),
                (("en_farewells", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity
                                  ["sayings"; "english"; "farewells"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ })
                ))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("three", _); ("dot", _)]),
            [(Direct
                (("one", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["three"; "dot"; "one"]), _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("three", _); ("dot", _)]),
            [(Direct
                (("four", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["three"; "dot"; "four"]), _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d = (ImportAll (_, (DottedName [("my", _); ("some", _)]), _));
         d_attrs = [] });
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (DefStmt
                            ({ name =
                               (EPattern
                                  (PatId (("x", _),
                                     { id_resolved =
                                       ref ((Some (LocalVar, _)));
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               attrs = []; tparams = None },
                             (VarDef
                                { vinit = None; vtype = None; vtok = (Some _)
                                  })));
                         s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("x", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("int", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e = (L (Int ((Some 42L), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                   vtype = None; vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("x", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("i32", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit = None;
                                   vtype =
                                   (Some { t =
                                           (TyN
                                              (Id (("i32", _),
                                                 { id_resolved = ref (None);
                                                   id_resolved_alternatives =
                                                   ref ([]);
                                                   id_type = ref (None);
                                                   id_svalue = ref (Unknown);
                                                   id_flags = ref (0);
                                                   id_info_id = _ }
                                                 )));
                                           t_attrs = [] });
                                   vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("x", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("i8", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e = (L (Int ((Some 42L), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                   vtype =
                                   (Some { t =
                                           (TyN
                                              (Id (("i8", _),
                                                 { id_resolved = ref (None);
                                                   id_resolved_alternatives =
                                                   ref ([]);
                                                   id_type = ref (None);
                                                   id_svalue = ref (Unknown);
                                                   id_flags = ref (0);
                                                   id_info_id = _ }
                                                 )));
                                           t_attrs = [] });
                                   vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("x", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("int", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = [(KeywordAttr (Mutable, _))];
                                tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e = (L (Int ((Some 5L), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                   vtype = None; vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("y", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("bool", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e = (L (Bool (false, _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                   vtype =
                                   (Some { t =
                                           (TyN
                                              (Id (("bool", _),
                                                 { id_resolved = ref (None);
                                                   id_resolved_alternatives =
                                                   ref ([]);
                                                   id_type = ref (None);
                                                   id_svalue = ref (Unknown);
                                                   id_flags = ref (0);
                                                   id_info_id = _ }
                                                 )));
                                           t_attrs = [] });
                                   vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("bool", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("bool", _),
                                                           { id_resolved =
                                                             ref ((Some (
                                                             LocalVar, _)));
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e = (L (Bool (false, _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                   vtype =
                                   (Some { t =
                                           (TyN
                                              (Id (("bool", _),
                                                 { id_resolved =
                                                   ref ((Some (LocalVar, _)));
                                                   id_resolved_alternatives =
                                                   ref ([]);
                                                   id_type = ref (None);
                                                   id_svalue = ref (Unknown);
                                                   id_flags = ref (0);
                                                   id_info_id = _ }
                                                 )));
                                           t_attrs = [] });
                                   vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("u32", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type =
                                        ref ((Some { t =
                                                     (TyN
                                                        (Id (("str", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     t_attrs = [] }));
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e = (L (String (_, ("", _), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = true;
                                           facts = <opaque> });
                                   vtype =
                                   (Some { t =
                                           (TyN
                                              (Id (("str", _),
                                                 { id_resolved = ref (None);
                                                   id_resolved_alternatives =
                                                   ref ([]);
                                                   id_type = ref (None);
                                                   id_svalue = ref (Unknown);
                                                   id_flags = ref (0);
                                                   id_info_id = _ }
                                                 )));
                                           t_attrs = [] });
                                   vtok = (Some _) })));
                          s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Proton", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Electron", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Person", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("name", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = [(KeywordAttr (Public, _))]; tparams = None
                          },
                        (FieldDefColon
                           { vinit = None;
                             vtype =
                             (Some { t =
                                     (TyN
                                        (Id (("String", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("age", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           attrs = [(KeywordAttr (Public, _))];
                           tparams = None },
                         (FieldDefColon
                            { vinit = None;
                              vtype =
                              (Some { t =
                                      (TyN
                                         (Id (("u32", _),
                                            { id_resolved = ref (None);
                                              id_resolved_alternatives =
                                              ref ([]); id_type = ref (None);
                                              id_svalue = ref (Unknown);
                                              id_flags = ref (0);
                                              id_info_id = _ }
                                            )));
                                      t_attrs = [] });
                              vtok = None })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Point", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("x", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FieldDefColon
                           { vinit = None;
                             vtype =
                             (Some { t =
                                     (TyN
                                        (Id (("i32", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("y", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           attrs = []; tparams = None },
                         (FieldDefColon
                            { vinit = None;
                              vtype =
                              (Some { t =
                                      (TyN
                                         (Id (("i32", _),
                                            { id_resolved = ref (None);
                                              id_resolved_alternatives =
                                              ref ([]); id_type = ref (None);
                                              id_svalue = ref (Unknown);
                                              id_flags = ref (0);
                                              id_info_id = _ }
                                            )));
                                      t_attrs = [] });
                              vtok = None })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Color", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EDynamic
                             { e = (L (Int ((Some 0L), _))); e_id = 0;
                               e_range = None; is_implicit_return = false;
                               facts = <opaque> });
                          attrs = []; tparams = None },
                        (FieldDefColon
                           { vinit = None;
                             vtype =
                             (Some { t =
                                     (TyN
                                        (Id (("i32", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EDynamic
                              { e = (L (Int ((Some 1L), _))); e_id = 0;
                                e_range = None; is_implicit_return = false;
                                facts = <opaque> });
                           attrs = []; tparams = None },
                         (FieldDefColon
                            { vinit = None;
                              vtype =
                              (Some { t =
                                      (TyN
                                         (Id (("i32", _),
                                            { id_resolved = ref (None);
                                              id_resolved_alternatives =
                                              ref ([]); id_type = ref (None);
                                              id_svalue = ref (Unknown);
                                              id_flags = ref (0);
                                              id_info_id = _ }
                                            )));
                                      t_attrs = [] });
                              vtok = None })));
                     s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EDynamic
                              { e = (L (Int ((Some 2L), _))); e_id = 0;
                                e_range = None; is_implicit_return = false;
                                facts = <opaque> });
                           attrs = []; tparams = None },
                         (FieldDefColon
                            { vinit = None;
                              vtype =
                              (Some { t =
                                      (TyN
                                         (Id (("i32", _),
                                            { id_resolved = ref (None);
                                              id_resolved_alternatives =
                                              ref ([]); id_type = ref (None);
                                              id_svalue = ref (Unknown);
                                              id_flags = ref (0);
                                              id_info_id = _ }
                                            )));
                                      t_attrs = [] });
                              vtok = None })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Inches", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EDynamic
                             { e = (L (Int ((Some 0L), _))); e_id = 0;
                               e_range = None; is_implicit_return = false;
                               facts = <opaque> });
                          attrs = []; tparams = None },
                        (FieldDefColon
                           { vinit = None;
                             vtype =
                             (Some { t =
                                     (TyN
                                        (Id (("i32", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("in6_addr__bindgen_ty_1", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (TypeDef
           { tbody =
             (OrType
                [(OrUnion (("__u6_addr8", _),
                    { t =
                      (TyArray (
                         (_,
                          (Some { e = (L (Int (None, _))); e_id = 0;
                                  e_range = None; is_implicit_return = false;
                                  facts = <opaque> }),
                          _),
                         { t =
                           (TyN
                              (Id (("__uint8_t", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           t_attrs = [] }
                         ));
                      t_attrs = [] }
                    ));
                  (OrUnion (("__u6_addr16", _),
                     { t =
                       (TyArray (
                          (_,
                           (Some { e = (L (Int (None, _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           _),
                          { t =
                            (TyN
                               (Id (("__uint16_t", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     ));
                  (OrUnion (("__u6_addr32", _),
                     { t =
                       (TyArray (
                          (_,
                           (Some { e = (L (Int (None, _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           _),
                          { t =
                            (TyN
                               (Id (("__uint32_t", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     ));
                  (OrUnion (("_bindgen_union_align", _),
                     { t =
                       (TyArray (
                          (_,
                           (Some { e = (L (Int (None, _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           _),
                          { t =
                            (TyN
                               (Id (("u32", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     ))
                  ])
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("A", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("B", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("C", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(OtherTypeParam (("LifeTime", _), [(I ("a", _))]));
                   (OtherTypeParam (("LifeTime", _), [(I ("b", _))]))],
                 _))
          },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("C", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_, [(OtherTypeParam (("LifeTime", _), [(I ("a", _))]))], _))
          },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("D", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("SIZE", _);
                       tp_attrs = [(KeywordAttr (Const, _))];
                       tp_bounds =
                       [{ t =
                          (TyN
                             (Id (("usize", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                         ];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Option", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (TypeDef
           { tbody =
             (OrType
                [(OrEnum (("None", _), None));
                  (OrConstructor (("Some", _),
                     [{ t =
                        (TyN
                           (Id (("T", _),
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              )));
                        t_attrs = [] }
                       ]
                     ))
                  ])
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Node", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = [];
                       tp_bounds =
                       [{ t =
                          (TyN
                             (Id (("Item", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                         ];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (TypeDef
           { tbody =
             (OrType
                [(OrConstructor (("Internal", _),
                    [{ t =
                       (TyN
                          (IdQualified
                             { name_last =
                               (("Vec", _),
                                (Some (_,
                                       [(TA
                                           { t =
                                             (TyN
                                                (IdQualified
                                                   { name_last =
                                                     (("Tree", _),
                                                      (Some (_,
                                                             [(TA
                                                                 { t =
                                                                   (TyN
                                                                    (Id (
                                                                    ("T", _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                   t_attrs =
                                                                   [] })
                                                               ],
                                                             _)));
                                                     name_middle = None;
                                                     name_top = None;
                                                     name_info =
                                                     { id_resolved =
                                                       ref (None);
                                                       id_resolved_alternatives =
                                                       ref ([]);
                                                       id_type = ref (None);
                                                       id_svalue =
                                                       ref (Unknown);
                                                       id_flags = ref (0);
                                                       id_info_id = _ }
                                                     }));
                                             t_attrs = [] })
                                         ],
                                       _)));
                               name_middle = None; name_top = None;
                               name_info =
                               { id_resolved = ref (None);
                                 id_resolved_alternatives = ref ([]);
                                 id_type = ref (None);
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (0); id_info_id = _ }
                               }));
                       t_attrs = [] };
                      { t =
                        (TyN
                           (Id (("u16", _),
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              )));
                        t_attrs = [] }
                      ]
                    ));
                  (OrConstructor (("Leaf", _),
                     [{ t =
                        (TyN
                           (Id (("T", _),
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              )));
                        t_attrs = [] }
                       ]
                     ))
                  ])
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("c_style_enum", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (TypeDef
           { tbody =
             (OrType
                [(OrEnum (("val1", _),
                    (Some { e = (L (Int ((Some 1L), _))); e_id = 0;
                            e_range = None; is_implicit_return = false;
                            facts = <opaque> })
                    ));
                  (OrEnum (("val2", _),
                     (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                             e_range = None; is_implicit_return = false;
                             facts = <opaque> })
                     ))
                  ])
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("splice", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = [];
                       tp_bounds =
                       [{ t =
                          (TyN
                             (IdQualified
                                { name_last =
                                  (("Into", _),
                                   (Some (_,
                                          [(TA
                                              { t =
                                                (TyN
                                                   (Id (("Text", _),
                                                      { id_resolved =
                                                        ref (None);
                                                        id_resolved_alternatives =
                                                        ref ([]);
                                                        id_type = ref (None);
                                                        id_svalue =
                                                        ref (Unknown);
                                                        id_flags = ref (0);
                                                        id_info_id = _ }
                                                      )));
                                                t_attrs = [] })
                                            ],
                                          _)));
                                  name_middle = None; name_top = None;
                                  name_info =
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  }));
                          t_attrs = [] }
                         ];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(Param
                  { pname = (Some ("self", _));
                    ptype =
                    (Some { t =
                            (TyRef (_,
                               { t =
                                 (TyN
                                    (Id (("self", _),
                                       { id_resolved =
                                         ref ((Some (Parameter, _)));
                                         id_resolved_alternatives = ref ([]);
                                         id_type = ref (None);
                                         id_svalue = ref (Unknown);
                                         id_flags = ref (0); id_info_id = _ }
                                       )));
                                 t_attrs = [] }
                               ));
                            t_attrs = [] });
                    pdefault = None; pattrs = [(KeywordAttr (Mutable, _))];
                    pinfo =
                    { id_resolved = ref ((Some (Parameter, _)));
                      id_resolved_alternatives = ref ([]);
                      id_type =
                      ref ((Some { t =
                                   (TyRef (_,
                                      { t =
                                        (TyN
                                           (Id (("self", _),
                                              { id_resolved =
                                                ref ((Some (Parameter, _)));
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] }
                                      ));
                                   t_attrs = [] }));
                      id_svalue = ref (Unknown); id_flags = ref (0);
                      id_info_id = _ }
                    });
                (ParamPattern
                   (PatTyped (
                      (PatId (("old_range", _),
                         { id_resolved = ref ((Some (LocalVar, _)));
                           id_resolved_alternatives = ref ([]);
                           id_type =
                           ref ((Some { t =
                                        (TyN
                                           (IdQualified
                                              { name_last =
                                                (("Range", _),
                                                 (Some (_,
                                                        [(TA
                                                            { t =
                                                              (TyN
                                                                 (Id (
                                                                    (
                                                                    "usize",
                                                                    _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                              t_attrs = [] })
                                                          ],
                                                        _)));
                                                name_middle = None;
                                                name_top = None;
                                                name_info =
                                                { id_resolved = ref (None);
                                                  id_resolved_alternatives =
                                                  ref ([]);
                                                  id_type = ref (None);
                                                  id_svalue = ref (Unknown);
                                                  id_flags = ref (0);
                                                  id_info_id = _ }
                                                }));
                                        t_attrs = [] }));
                           id_svalue = ref (Unknown); id_flags = ref (0);
                           id_info_id = _ }
                         )),
                      { t =
                        (TyN
                           (IdQualified
                              { name_last =
                                (("Range", _),
                                 (Some (_,
                                        [(TA
                                            { t =
                                              (TyN
                                                 (Id (("usize", _),
                                                    { id_resolved =
                                                      ref (None);
                                                      id_resolved_alternatives =
                                                      ref ([]);
                                                      id_type = ref (None);
                                                      id_svalue =
                                                      ref (Unknown);
                                                      id_flags = ref (0);
                                                      id_info_id = _ }
                                                    )));
                                              t_attrs = [] })
                                          ],
                                        _)));
                                name_middle = None; name_top = None;
                                name_info =
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                }));
                        t_attrs = [] }
                      )));
                (ParamPattern
                   (PatTyped (
                      (PatId (("new_text", _),
                         { id_resolved = ref ((Some (LocalVar, _)));
                           id_resolved_alternatives = ref ([]);
                           id_type =
                           ref ((Some { t =
                                        (TyN
                                           (Id (("T", _),
                                              { id_resolved = ref (None);
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] }));
                           id_svalue = ref (Unknown); id_flags = ref (0);
                           id_info_id = _ }
                         )),
                      { t =
                        (TyN
                           (Id (("T", _),
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              )));
                        t_attrs = [] }
                      )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("uninit_array", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("LEN", _);
                       tp_attrs = [(KeywordAttr (Const, _))];
                       tp_bounds =
                       [{ t =
                          (TyN
                             (Id (("usize", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                         ];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _);
             frettype =
             (Some { t =
                     (TyArray (
                        (_,
                         (Some { e =
                                 (N
                                    (Id (("LEN", _),
                                       { id_resolved = ref (None);
                                         id_resolved_alternatives = ref ([]);
                                         id_type = ref (None);
                                         id_svalue = ref (Unknown);
                                         id_flags = ref (0); id_info_id = _ }
                                       )));
                                 e_id = 0; e_range = None;
                                 is_implicit_return = false; facts = <opaque>
                                 }),
                         _),
                        { t =
                          (TyN
                             (Id (("Self", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                        ));
                     t_attrs = [] });
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("x", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyN
                                          (Id (("u32", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyN
                          (Id (("u32", _),
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             )));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("f1", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatTuple
                        (_,
                         [(PatId (("x", _),
                             { id_resolved = ref ((Some (LocalVar, _)));
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             ));
                           (PatId (("y", _),
                              { id_resolved = ref ((Some (LocalVar, _)));
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              ))
                           ],
                         _)),
                     { t =
                       (TyArray (
                          (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           _),
                          { t =
                            (TyN
                               (Id (("u32", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("f2", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("x", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyRef (_,
                                          { t =
                                            (TyN
                                               (Id (("Y", _),
                                                  { id_resolved = ref (None);
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] }
                                          ));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyRef (_,
                          { t =
                            (TyN
                               (Id (("Y", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("f3", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatTuple
                        (_,
                         [(PatId (("x", _),
                             { id_resolved = ref ((Some (LocalVar, _)));
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             ));
                           (PatId (("y", _),
                              { id_resolved = ref ((Some (LocalVar, _)));
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              ))
                           ],
                         _)),
                     { t =
                       (TyTuple
                          (_,
                           [{ t =
                              (TyN
                                 (Id (("T", _),
                                    { id_resolved = ref (None);
                                      id_resolved_alternatives = ref ([]);
                                      id_type = ref (None);
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    )));
                              t_attrs = [] };
                             { t =
                               (TyN
                                  (Id (("U", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               t_attrs = [] }
                             ],
                           _));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Callback", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("call", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Function, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("self", _)); ptype = None;
                                    pdefault = None; pattrs = [];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type = ref (None);
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype = None; fbody = (FBDecl _) })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("N", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyN
                                  (Id (("i32", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (4);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Const, _))]; tparams = None },
        (VarDef
           { vinit =
             (Some { e = (L (Int ((Some 5L), _))); e_id = 0; e_range = None;
                     is_implicit_return = false; facts = <opaque> });
             vtype =
             (Some { t =
                     (TyN
                        (Id (("i32", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("X", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = [(KeywordAttr (Const, _))]; tparams = None
                          },
                        (VarDef
                           { vinit = None;
                             vtype =
                             (Some { t =
                                     (TyN
                                        (Id (("u8", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             vtok = (Some _) })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("N", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyN
                                  (Id (("i32", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Static, _))]; tparams = None },
        (VarDef
           { vinit =
             (Some { e = (L (Int ((Some 5L), _))); e_id = 0; e_range = None;
                     is_implicit_return = false; facts = <opaque> });
             vtype =
             (Some { t =
                     (TyN
                        (Id (("i32", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("__progname", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyPointer (_,
                                  { t =
                                    (TyN
                                       (Id (("c_char", _),
                                          { id_resolved = ref (None);
                                            id_resolved_alternatives =
                                            ref ([]); id_type = ref (None);
                                            id_svalue = ref (Unknown);
                                            id_flags = ref (0);
                                            id_info_id = _ }
                                          )));
                                    t_attrs = [] }
                                  ));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Static, _)); (KeywordAttr (Mutable, _))];
          tparams = None },
        (VarDef
           { vinit = None;
             vtype =
             (Some { t =
                     (TyPointer (_,
                        { t =
                          (TyN
                             (Id (("c_char", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                        ));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("ONE", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyN
                                  (Id (("usize", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Static, _))]; tparams = None },
        (VarDef
           { vinit =
             (Some { e = (L (Int ((Some 0L), _))); e_id = 0; e_range = None;
                     is_implicit_return = false; facts = <opaque> });
             vtype =
             (Some { t =
                     (TyN
                        (Id (("usize", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Inch", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (TypeDef
           { tbody =
             (AliasType
                { t =
                  (TyN
                     (Id (("u64", _),
                        { id_resolved = ref (None);
                          id_resolved_alternatives = ref ([]);
                          id_type = ref (None); id_svalue = ref (Unknown);
                          id_flags = ref (0); id_info_id = _ }
                        )));
                  t_attrs = [] })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Name", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (TypeDef
           { tbody =
             (AliasType
                { t =
                  (TyN
                     (IdQualified
                        { name_last =
                          (("Vec", _),
                           (Some (_,
                                  [(TA
                                      { t =
                                        (TyN
                                           (Id (("T", _),
                                              { id_resolved = ref (None);
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] })
                                    ],
                                  _)));
                          name_middle = None; name_top = None;
                          name_info =
                          { id_resolved = ref (None);
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }
                          }));
                  t_attrs = [] })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("test_foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(NamedAttr (_,
              (Id (("test", _),
                 { id_resolved = ref (None);
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }
                 )),
              (_, [], _)))
            ];
          tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Baz", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(NamedAttr (_,
              (Id (("derive", _),
                 { id_resolved = ref (None);
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }
                 )),
              (_,
               [(Arg
                   { e =
                     (N
                        (Id (("Debug", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     e_id = 0; e_range = None; is_implicit_return = false;
                     facts = <opaque> })
                 ],
               _)
              ))
            ];
          tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(NamedAttr (_,
              (Id (("derive", _),
                 { id_resolved = ref (None);
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }
                 )),
              (_,
               [(OtherArg (("AttrMisc", _),
                   [(I ("Debug", _)); (Tk _); (I ("Eq", _)); (Tk _)]))
                 ],
               _)
              ))
            ];
          tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("macos_only", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(NamedAttr (_,
              (Id (("cfg", _),
                 { id_resolved = ref (None);
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }
                 )),
              (_,
               [(OtherArg (("AttrMisc", _),
                   [(I ("target_os", _)); (Tk _);
                     (E
                        { e = (L (String (_, ("macos", _), _))); e_id = 0;
                          e_range = None; is_implicit_return = false;
                          facts = <opaque> })
                     ]
                   ))
                 ],
               _)
              ))
            ];
          tparams = None },
        (ModuleDef
           { mbody = (ModuleStruct ((Some [("macos_only", _)]), [])) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Bar", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(OtherAttribute (("AttrAssign", _),
              [(Name
                  (IdQualified
                     { name_last = (("cyclomatic_complexity", _), None);
                       name_middle = (Some (QDots [(("clippy", _), None)]));
                       name_top = None;
                       name_info =
                       { id_resolved = ref (None);
                         id_resolved_alternatives = ref ([]);
                         id_type = ref (None); id_svalue = ref (Unknown);
                         id_flags = ref (0); id_info_id = _ }
                       }));
                (E
                   { e = (L (String (_, ("100", _), _))); e_id = 0;
                     e_range = None; is_implicit_return = false;
                     facts = <opaque> })
                ]
              ))
            ];
          tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("macos_only", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ModuleDef
           { mbody = (ModuleStruct ((Some [("macos_only", _)]), [])) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (ExprStmt (
                            { e =
                              (Call (
                                 { e =
                                   (N
                                      (Id (("bar", _),
                                         { id_resolved = ref (None);
                                           id_resolved_alternatives =
                                           ref ([]); id_type = ref (None);
                                           id_svalue = ref (Unknown);
                                           id_flags = ref (0); id_info_id = _
                                           }
                                         )));
                                   e_id = 0; e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> },
                                 (_,
                                  [(Arg
                                      { e =
                                        (N
                                           (Id (("x", _),
                                              { id_resolved = ref (None);
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        e_id = 0; e_range = None;
                                        is_implicit_return = false;
                                        facts = <opaque> });
                                    (Arg
                                       { e =
                                         (N
                                            (Id (("y", _),
                                               { id_resolved = ref (None);
                                                 id_resolved_alternatives =
                                                 ref ([]);
                                                 id_type = ref (None);
                                                 id_svalue = ref (Unknown);
                                                 id_flags = ref (0);
                                                 id_info_id = _ }
                                               )));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> })
                                    ],
                                  _)
                                 ));
                              e_id = 0; e_range = None;
                              is_implicit_return = false; facts = <opaque> },
                            _));
                         s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("z", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type = ref (None);
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e =
                                           (Container (Array,
                                              (_,
                                               [{ e =
                                                  (L (Int ((Some 2L), _)));
                                                  e_id = 0; e_range = None;
                                                  is_implicit_return = false;
                                                  facts = <opaque> };
                                                 { e =
                                                   (L (Int ((Some 7L), _)));
                                                   e_id = 0; e_range = None;
                                                   is_implicit_return = false;
                                                   facts = <opaque> };
                                                 { e =
                                                   (L (Int ((Some 8L), _)));
                                                   e_id = 0; e_range = None;
                                                   is_implicit_return = false;
                                                   facts = <opaque> }
                                                 ],
                                               _)
                                              ));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                   vtype = None; vtok = (Some _) })));
                          s_range = None };
                        { s =
                          (DefStmt
                             ({ name =
                                (EPattern
                                   (PatId (("t", _),
                                      { id_resolved =
                                        ref ((Some (LocalVar, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type = ref (None);
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      )));
                                attrs = []; tparams = None },
                              (VarDef
                                 { vinit =
                                   (Some { e =
                                           (Container (Tuple,
                                              (_,
                                               [{ e =
                                                  (L (Int ((Some 2L), _)));
                                                  e_id = 0; e_range = None;
                                                  is_implicit_return = false;
                                                  facts = <opaque> };
                                                 { e =
                                                   (L (Int ((Some 7L), _)));
                                                   e_id = 0; e_range = None;
                                                   is_implicit_return = false;
                                                   facts = <opaque> };
                                                 { e =
                                                   (L (Int ((Some 8L), _)));
                                                   e_id = 0; e_range = None;
                                                   is_implicit_return = false;
                                                   facts = <opaque> }
                                                 ],
                                               _)
                                              ));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = true;
                                           facts = <opaque> });
                                   vtype = None; vtok = (Some _) })));
                          s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (Id (("Person", _),
                       { id_resolved = ref (None);
                         id_resolved_alternatives = ref ([]);
                         id_type = ref (None); id_svalue = ref (Unknown);
                         id_flags = ref (0); id_info_id = _ }
                       )));
                 t_attrs = [] });
             (Ss
                [{ s =
                   (DefStmt
                      ({ name =
                         (EN
                            (Id (("leg_count", _),
                               { id_resolved = ref ((Some (Global, _)));
                                 id_resolved_alternatives = ref ([]);
                                 id_type =
                                 ref ((Some { t =
                                              (TyN
                                                 (Id (("u32", _),
                                                    { id_resolved =
                                                      ref (None);
                                                      id_resolved_alternatives =
                                                      ref ([]);
                                                      id_type = ref (None);
                                                      id_svalue =
                                                      ref (Unknown);
                                                      id_flags = ref (0);
                                                      id_info_id = _ }
                                                    )));
                                              t_attrs = [] }));
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (4); id_info_id = _ }
                               )));
                         attrs = [(KeywordAttr (Const, _))]; tparams = None },
                       (VarDef
                          { vinit =
                            (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> });
                            vtype =
                            (Some { t =
                                    (TyN
                                       (Id (("u32", _),
                                          { id_resolved = ref (None);
                                            id_resolved_alternatives =
                                            ref ([]); id_type = ref (None);
                                            id_svalue = ref (Unknown);
                                            id_flags = ref (0);
                                            id_info_id = _ }
                                          )));
                                    t_attrs = [] });
                            vtok = (Some _) })));
                   s_range = None };
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("walk", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Function, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("self", _));
                                    ptype =
                                    (Some { t =
                                            (TyN
                                               (Id (("self", _),
                                                  { id_resolved =
                                                    ref ((Some (Parameter, _)));
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] });
                                    pdefault = None; pattrs = [];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type =
                                      ref ((Some { t =
                                                   (TyN
                                                      (Id (("self", _),
                                                         { id_resolved =
                                                           ref ((Some (
                                                           Parameter, _)));
                                                           id_resolved_alternatives =
                                                           ref ([]);
                                                           id_type =
                                                           ref (None);
                                                           id_svalue =
                                                           ref (Unknown);
                                                           id_flags = ref (0);
                                                           id_info_id = _ }
                                                         )));
                                                   t_attrs = [] }));
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype = None;
                             fbody =
                             (FBStmt
                                { s = (Block (_, [], _)); s_range = None })
                             })));
                    s_range = None };
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("walk_mut", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Function, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("self", _));
                                    ptype =
                                    (Some { t =
                                            (TyN
                                               (Id (("self", _),
                                                  { id_resolved =
                                                    ref ((Some (Parameter, _)));
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] });
                                    pdefault = None;
                                    pattrs = [(KeywordAttr (Mutable, _))];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type =
                                      ref ((Some { t =
                                                   (TyN
                                                      (Id (("self", _),
                                                         { id_resolved =
                                                           ref ((Some (
                                                           Parameter, _)));
                                                           id_resolved_alternatives =
                                                           ref ([]);
                                                           id_type =
                                                           ref (None);
                                                           id_svalue =
                                                           ref (Unknown);
                                                           id_flags = ref (0);
                                                           id_info_id = _ }
                                                         )));
                                                   t_attrs = [] }));
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype = None;
                             fbody =
                             (FBStmt
                                { s = (Block (_, [], _)); s_range = None })
                             })));
                    s_range = None };
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("talk", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Function, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("self", _));
                                    ptype =
                                    (Some { t =
                                            (TyRef (_,
                                               { t =
                                                 (TyN
                                                    (Id (("self", _),
                                                       { id_resolved =
                                                         ref ((Some (
                                                         Parameter, _)));
                                                         id_resolved_alternatives =
                                                         ref ([]);
                                                         id_type = ref (None);
                                                         id_svalue =
                                                         ref (Unknown);
                                                         id_flags = ref (0);
                                                         id_info_id = _ }
                                                       )));
                                                 t_attrs = [] }
                                               ));
                                            t_attrs = [] });
                                    pdefault = None; pattrs = [];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type =
                                      ref ((Some { t =
                                                   (TyRef (_,
                                                      { t =
                                                        (TyN
                                                           (Id (("self", _),
                                                              { id_resolved =
                                                                ref ((Some (
                                                                Parameter, _)));
                                                                id_resolved_alternatives =
                                                                ref (
                                                                []);
                                                                id_type =
                                                                ref (None);
                                                                id_svalue =
                                                                ref (Unknown);
                                                                id_flags =
                                                                ref (0);
                                                                id_info_id =
                                                                _ }
                                                              )));
                                                        t_attrs = [] }
                                                      ));
                                                   t_attrs = [] }));
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype = None;
                             fbody =
                             (FBStmt
                                { s = (Block (_, [], _)); s_range = None })
                             })));
                    s_range = None };
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("talk_mut", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Function, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("self", _));
                                    ptype =
                                    (Some { t =
                                            (TyRef (_,
                                               { t =
                                                 (TyN
                                                    (Id (("self", _),
                                                       { id_resolved =
                                                         ref ((Some (
                                                         Parameter, _)));
                                                         id_resolved_alternatives =
                                                         ref ([]);
                                                         id_type = ref (None);
                                                         id_svalue =
                                                         ref (Unknown);
                                                         id_flags = ref (0);
                                                         id_info_id = _ }
                                                       )));
                                                 t_attrs = [] }
                                               ));
                                            t_attrs = [] });
                                    pdefault = None;
                                    pattrs = [(KeywordAttr (Mutable, _))];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type =
                                      ref ((Some { t =
                                                   (TyRef (_,
                                                      { t =
                                                        (TyN
                                                           (Id (("self", _),
                                                              { id_resolved =
                                                                ref ((Some (
                                                                Parameter, _)));
                                                                id_resolved_alternatives =
                                                                ref (
                                                                []);
                                                                id_type =
                                                                ref (None);
                                                                id_svalue =
                                                                ref (Unknown);
                                                                id_flags =
                                                                ref (0);
                                                                id_info_id =
                                                                _ }
                                                              )));
                                                        t_attrs = [] }
                                                      ));
                                                   t_attrs = [] }));
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype = None;
                             fbody =
                             (FBStmt
                                { s = (Block (_, [], _)); s_range = None })
                             })));
                    s_range = None }
                  ])
             ]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("Machine", _),
                          (Some (_,
                                 [(TAExpr
                                     { e =
                                       (StmtExpr
                                          { s =
                                            (Block
                                               (_,
                                                [{ s =
                                                   (ExprStmt (
                                                      { e =
                                                        (N
                                                           (IdQualified
                                                              { name_last =
                                                                (("Init", _),
                                                                 None);
                                                                name_middle =
                                                                (Some (
                                                                QDots
                                                                  [((
                                                                    "State",
                                                                    _), None)
                                                                    ]));
                                                                name_top =
                                                                None;
                                                                name_info =
                                                                { id_resolved =
                                                                  ref (None);
                                                                  id_resolved_alternatives =
                                                                  ref (
                                                                  []);
                                                                  id_type =
                                                                  ref (None);
                                                                  id_svalue =
                                                                  ref (Unknown);
                                                                  id_flags =
                                                                  ref (0);
                                                                  id_info_id =
                                                                  _ }
                                                                }));
                                                        e_id = 0;
                                                        e_range = None;
                                                        is_implicit_return =
                                                        false;
                                                        facts = <opaque> },
                                                      _));
                                                   s_range = None }
                                                  ],
                                                _));
                                            s_range = None });
                                       e_id = 0; e_range = None;
                                       is_implicit_return = false;
                                       facts = <opaque> })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_, [(OtherTypeParam (("LifeTime", _), [(I ("a", _))]))], _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("Iter", _),
                          (Some (_,
                                 [(TA
                                     { t =
                                       (TyN
                                          (Id (("a", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (Id (("i32", _),
                       { id_resolved = ref (None);
                         id_resolved_alternatives = ref ([]);
                         id_type = ref (None); id_svalue = ref (Unknown);
                         id_flags = ref (0); id_info_id = _ }
                       )));
                 t_attrs = [] });
             (Ss
                [{ s =
                   (DefStmt
                      ({ name =
                         (EN
                            (Id (("convert", _),
                               { id_resolved = ref (None);
                                 id_resolved_alternatives = ref ([]);
                                 id_type = ref (None);
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (0); id_info_id = _ }
                               )));
                         attrs = []; tparams = None },
                       (FuncDef
                          { fkind = (Function, _);
                            fparams =
                            (_,
                             [(Param
                                 { pname = (Some ("self", _));
                                   ptype =
                                   (Some { t =
                                           (TyRef (_,
                                              { t =
                                                (TyN
                                                   (Id (("self", _),
                                                      { id_resolved =
                                                        ref ((Some (Parameter,
                                                                    _)));
                                                        id_resolved_alternatives =
                                                        ref ([]);
                                                        id_type = ref (None);
                                                        id_svalue =
                                                        ref (Unknown);
                                                        id_flags = ref (0);
                                                        id_info_id = _ }
                                                      )));
                                                t_attrs = [] }
                                              ));
                                           t_attrs = [] });
                                   pdefault = None; pattrs = [];
                                   pinfo =
                                   { id_resolved =
                                     ref ((Some (Parameter, _)));
                                     id_resolved_alternatives = ref ([]);
                                     id_type =
                                     ref ((Some { t =
                                                  (TyRef (_,
                                                     { t =
                                                       (TyN
                                                          (Id (("self", _),
                                                             { id_resolved =
                                                               ref ((Some (
                                                               Parameter, _)));
                                                               id_resolved_alternatives =
                                                               ref ([]);
                                                               id_type =
                                                               ref (None);
                                                               id_svalue =
                                                               ref (Unknown);
                                                               id_flags =
                                                               ref (0);
                                                               id_info_id = _
                                                               }
                                                             )));
                                                       t_attrs = [] }
                                                     ));
                                                  t_attrs = [] }));
                                     id_svalue = ref (Unknown);
                                     id_flags = ref (0); id_info_id = _ }
                                   })
                               ],
                             _);
                            frettype =
                            (Some { t =
                                    (TyN
                                       (Id (("i64", _),
                                          { id_resolved = ref (None);
                                            id_resolved_alternatives =
                                            ref ([]); id_type = ref (None);
                                            id_svalue = ref (Unknown);
                                            id_flags = ref (0);
                                            id_info_id = _ }
                                          )));
                                    t_attrs = [] });
                            fbody =
                            (FBStmt
                               { s =
                                 (Block
                                    (_,
                                     [{ s =
                                        (ExprStmt (
                                           { e =
                                             (Cast (
                                                { t =
                                                  (TyN
                                                     (Id (("i64", _),
                                                        { id_resolved =
                                                          ref (None);
                                                          id_resolved_alternatives =
                                                          ref ([]);
                                                          id_type =
                                                          ref (None);
                                                          id_svalue =
                                                          ref (Unknown);
                                                          id_flags = ref (0);
                                                          id_info_id = _ }
                                                        )));
                                                  t_attrs = [] },
                                                _,
                                                { e =
                                                  (DeRef (_,
                                                     { e =
                                                       (N
                                                          (IdSpecial (
                                                             (Self, _),
                                                             { id_resolved =
                                                               ref (None);
                                                               id_resolved_alternatives =
                                                               ref ([]);
                                                               id_type =
                                                               ref (None);
                                                               id_svalue =
                                                               ref (Unknown);
                                                               id_flags =
                                                               ref (0);
                                                               id_info_id = _
                                                               }
                                                             )));
                                                       e_id = 0;
                                                       e_range = None;
                                                       is_implicit_return =
                                                       false;
                                                       facts = <opaque> }
                                                     ));
                                                  e_id = 0; e_range = None;
                                                  is_implicit_return = false;
                                                  facts = <opaque> }
                                                ));
                                             e_id = 0; e_range = None;
                                             is_implicit_return = true;
                                             facts = <opaque> },
                                           _));
                                        s_range = None }
                                       ],
                                     _));
                                 s_range = None })
                            })));
                   s_range = None }
                  ])
             ]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Unsafe, _))]; tparams = None },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (Id (("Foo", _),
                       { id_resolved = ref (None);
                         id_resolved_alternatives = ref ([]);
                         id_type = ref (None); id_svalue = ref (Unknown);
                         id_flags = ref (0); id_info_id = _ }
                       )));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (Id (("Foo", _),
                       { id_resolved = ref (None);
                         id_resolved_alternatives = ref ([]);
                         id_type = ref (None); id_svalue = ref (Unknown);
                         id_flags = ref (0); id_info_id = _ }
                       )));
                 t_attrs = [] });
             (Ss
                [{ s =
                   (DefStmt
                      ({ name =
                         (EN
                            (Id (("bar", _),
                               { id_resolved = ref (None);
                                 id_resolved_alternatives = ref ([]);
                                 id_type = ref (None);
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (0); id_info_id = _ }
                               )));
                         attrs =
                         [(KeywordAttr (Const, _));
                           (KeywordAttr (DefaultImpl, _))];
                         tparams = None },
                       (FuncDef
                          { fkind = (Function, _); fparams = (_, [], _);
                            frettype =
                            (Some { t =
                                    (TyN
                                       (Id (("i32", _),
                                          { id_resolved = ref (None);
                                            id_resolved_alternatives =
                                            ref ([]); id_type = ref (None);
                                            id_svalue = ref (Unknown);
                                            id_flags = ref (0);
                                            id_info_id = _ }
                                          )));
                                    t_attrs = [] });
                            fbody =
                            (FBStmt
                               { s =
                                 (Block
                                    (_,
                                     [{ s =
                                        (ExprStmt (
                                           { e =
                                             (Call (
                                                { e =
                                                  (DotAccess (
                                                     { e =
                                                       (N
                                                          (Id (
                                                             ("default", _),
                                                             { id_resolved =
                                                               ref (None);
                                                               id_resolved_alternatives =
                                                               ref ([]);
                                                               id_type =
                                                               ref (None);
                                                               id_svalue =
                                                               ref (Unknown);
                                                               id_flags =
                                                               ref (0);
                                                               id_info_id = _
                                                               }
                                                             )));
                                                       e_id = 0;
                                                       e_range = None;
                                                       is_implicit_return =
                                                       false;
                                                       facts = <opaque> },
                                                     _,
                                                     (FN
                                                        (Id (("bar", _),
                                                           { id_resolved =
                                                             ref (None);
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref ((Some 
                                                             { t =
                                                               (TyFun (
                                                                  [(OtherParam (
                                                                    ("TODO",
                                                                    _), 
                                                                    []))],
                                                                  { t =
                                                                    (
                                                                    OtherType (
                                                                    ("TODO",
                                                                    _), 
                                                                    []));
                                                                    t_attrs =
                                                                    [] }
                                                                  ));
                                                               t_attrs = [] }));
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )))
                                                     ));
                                                  e_id = 0; e_range = None;
                                                  is_implicit_return = false;
                                                  facts = <opaque> },
                                                (_, [], _)));
                                             e_id = 0; e_range = None;
                                             is_implicit_return = true;
                                             facts = <opaque> },
                                           _));
                                        s_range = None }
                                       ],
                                     _));
                                 s_range = None })
                            })));
                   s_range = None }
                  ])
             ]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Item", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("summarize", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Function, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("self", _));
                                    ptype =
                                    (Some { t =
                                            (TyRef (_,
                                               { t =
                                                 (TyN
                                                    (Id (("self", _),
                                                       { id_resolved =
                                                         ref ((Some (
                                                         Parameter, _)));
                                                         id_resolved_alternatives =
                                                         ref ([]);
                                                         id_type = ref (None);
                                                         id_svalue =
                                                         ref (Unknown);
                                                         id_flags = ref (0);
                                                         id_info_id = _ }
                                                       )));
                                                 t_attrs = [] }
                                               ));
                                            t_attrs = [] });
                                    pdefault = None; pattrs = [];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type =
                                      ref ((Some { t =
                                                   (TyRef (_,
                                                      { t =
                                                        (TyN
                                                           (Id (("self", _),
                                                              { id_resolved =
                                                                ref ((Some (
                                                                Parameter, _)));
                                                                id_resolved_alternatives =
                                                                ref (
                                                                []);
                                                                id_type =
                                                                ref (None);
                                                                id_svalue =
                                                                ref (Unknown);
                                                                id_flags =
                                                                ref (0);
                                                                id_info_id =
                                                                _ }
                                                              )));
                                                        t_attrs = [] }
                                                      ));
                                                   t_attrs = [] }));
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype =
                             (Some { t =
                                     (TyN
                                        (Id (("Summary", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             fbody = (FBDecl _) })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Unsafe, _))]; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Add", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("Output", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (TypeDef { tbody = (AbstractType _) })));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("add", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           attrs = []; tparams = None },
                         (FuncDef
                            { fkind = (Function, _);
                              fparams =
                              (_,
                               [(Param
                                   { pname = (Some ("self", _));
                                     ptype =
                                     (Some { t =
                                             (TyN
                                                (Id (("self", _),
                                                   { id_resolved =
                                                     ref ((Some (Parameter, _)));
                                                     id_resolved_alternatives =
                                                     ref ([]);
                                                     id_type = ref (None);
                                                     id_svalue =
                                                     ref (Unknown);
                                                     id_flags = ref (0);
                                                     id_info_id = _ }
                                                   )));
                                             t_attrs = [] });
                                     pdefault = None; pattrs = [];
                                     pinfo =
                                     { id_resolved =
                                       ref ((Some (Parameter, _)));
                                       id_resolved_alternatives = ref ([]);
                                       id_type =
                                       ref ((Some { t =
                                                    (TyN
                                                       (Id (("self", _),
                                                          { id_resolved =
                                                            ref ((Some (
                                                            Parameter, _)));
                                                            id_resolved_alternatives =
                                                            ref ([]);
                                                            id_type =
                                                            ref (None);
                                                            id_svalue =
                                                            ref (Unknown);
                                                            id_flags =
                                                            ref (0);
                                                            id_info_id = _ }
                                                          )));
                                                    t_attrs = [] }));
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     });
                                 (ParamPattern
                                    (PatTyped (
                                       (PatId (("rhs", _),
                                          { id_resolved =
                                            ref ((Some (LocalVar, _)));
                                            id_resolved_alternatives =
                                            ref ([]);
                                            id_type =
                                            ref ((Some { t =
                                                         (TyN
                                                            (Id (("RHS", _),
                                                               { id_resolved =
                                                                 ref (None);
                                                                 id_resolved_alternatives =
                                                                 ref (
                                                                 []);
                                                                 id_type =
                                                                 ref (None);
                                                                 id_svalue =
                                                                 ref (Unknown);
                                                                 id_flags =
                                                                 ref (0);
                                                                 id_info_id =
                                                                 _ }
                                                               )));
                                                         t_attrs = [] }));
                                            id_svalue = ref (Unknown);
                                            id_flags = ref (0);
                                            id_info_id = _ }
                                          )),
                                       { t =
                                         (TyN
                                            (Id (("RHS", _),
                                               { id_resolved = ref (None);
                                                 id_resolved_alternatives =
                                                 ref ([]);
                                                 id_type = ref (None);
                                                 id_svalue = ref (Unknown);
                                                 id_flags = ref (0);
                                                 id_info_id = _ }
                                               )));
                                         t_attrs = [] }
                                       )))
                                 ],
                               _);
                              frettype =
                              (Some { t =
                                      (TyN
                                         (Id (("Output", _),
                                            { id_resolved = ref (None);
                                              id_resolved_alternatives =
                                              ref ([]); id_type = ref (None);
                                              id_svalue = ref (Unknown);
                                              id_flags = ref (0);
                                              id_info_id = _ }
                                            )));
                                      t_attrs = [] });
                              fbody = (FBDecl _) })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("A", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (ExprStmt (
                       { e =
                         (Call (
                            { e =
                              (N
                                 (Id (("private_decl!", _),
                                    { id_resolved = ref (None);
                                      id_resolved_alternatives = ref ([]);
                                      id_type = ref (None);
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    )));
                              e_id = 0; e_range = None;
                              is_implicit_return = false; facts = <opaque> },
                            (_, [], _)));
                         e_id = 0; e_range = None;
                         is_implicit_return = false; facts = <opaque> },
                       _));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("f", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           attrs = []; tparams = None },
                         (FuncDef
                            { fkind = (Function, _);
                              fparams =
                              (_,
                               [(Param
                                   { pname = (Some ("self", _));
                                     ptype =
                                     (Some { t =
                                             (TyRef (_,
                                                { t =
                                                  (TyN
                                                     (Id (("self", _),
                                                        { id_resolved =
                                                          ref ((Some (
                                                          Parameter, _)));
                                                          id_resolved_alternatives =
                                                          ref ([]);
                                                          id_type =
                                                          ref (None);
                                                          id_svalue =
                                                          ref (Unknown);
                                                          id_flags = ref (0);
                                                          id_info_id = _ }
                                                        )));
                                                  t_attrs = [] }
                                                ));
                                             t_attrs = [] });
                                     pdefault = None; pattrs = [];
                                     pinfo =
                                     { id_resolved =
                                       ref ((Some (Parameter, _)));
                                       id_resolved_alternatives = ref ([]);
                                       id_type =
                                       ref ((Some { t =
                                                    (TyRef (_,
                                                       { t =
                                                         (TyN
                                                            (Id (("self", _),
                                                               { id_resolved =
                                                                 ref ((Some (
                                                                 Parameter, _)));
                                                                 id_resolved_alternatives =
                                                                 ref (
                                                                 []);
                                                                 id_type =
                                                                 ref (None);
                                                                 id_svalue =
                                                                 ref (Unknown);
                                                                 id_flags =
                                                                 ref (0);
                                                                 id_info_id =
                                                                 _ }
                                                               )));
                                                         t_attrs = [] }
                                                       ));
                                                    t_attrs = [] }));
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     })
                                 ],
                               _);
                              frettype = None; fbody = (FBDecl _) })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Graph", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("N", _),
                                { id_resolved = ref ((Some (Global, _)));
                                  id_resolved_alternatives = ref ([]);
                                  id_type =
                                  ref ((Some { t =
                                               (TyN
                                                  (Id (("i32", _),
                                                     { id_resolved =
                                                       ref (None);
                                                       id_resolved_alternatives =
                                                       ref ([]);
                                                       id_type = ref (None);
                                                       id_svalue =
                                                       ref (Unknown);
                                                       id_flags = ref (0);
                                                       id_info_id = _ }
                                                     )));
                                               t_attrs = [] }));
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (TypeDef { tbody = (AbstractType _) })));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("E", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           attrs = []; tparams = None },
                         (TypeDef { tbody = (AbstractType _) })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("T", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("a", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("b", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("c", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("c", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("e", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("str", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyPointer (_,
                                          { t =
                                            (TyN
                                               (Id (("c_char", _),
                                                  { id_resolved = ref (None);
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] }
                                          ));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyPointer (_,
                          { t =
                            (TyN
                               (Id (("c_char", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("bar", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("bool", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyN
                                          (Id (("bool", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyN
                          (Id (("bool", _),
                             { id_resolved = ref (None);
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue = ref (Unknown); id_flags = ref (0);
                               id_info_id = _ }
                             )));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("walk", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("F", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(Param
                  { pname = (Some ("self", _));
                    ptype =
                    (Some { t =
                            (TyRef (_,
                               { t =
                                 (TyN
                                    (Id (("self", _),
                                       { id_resolved =
                                         ref ((Some (Parameter, _)));
                                         id_resolved_alternatives = ref ([]);
                                         id_type = ref (None);
                                         id_svalue = ref (Unknown);
                                         id_flags = ref (0); id_info_id = _ }
                                       )));
                                 t_attrs = [] }
                               ));
                            t_attrs = [] });
                    pdefault = None; pattrs = [];
                    pinfo =
                    { id_resolved = ref ((Some (Parameter, _)));
                      id_resolved_alternatives = ref ([]);
                      id_type =
                      ref ((Some { t =
                                   (TyRef (_,
                                      { t =
                                        (TyN
                                           (Id (("self", _),
                                              { id_resolved =
                                                ref ((Some (Parameter, _)));
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] }
                                      ));
                                   t_attrs = [] }));
                      id_svalue = ref (Unknown); id_flags = ref (0);
                      id_info_id = _ }
                    });
                (ParamPattern
                   (PatTyped (
                      (PatId (("it", _),
                         { id_resolved = ref ((Some (LocalVar, _)));
                           id_resolved_alternatives = ref ([]);
                           id_type =
                           ref ((Some { t =
                                        (TyRef (_,
                                           { t =
                                             (TyN
                                                (Id (("F", _),
                                                   { id_resolved = ref (None);
                                                     id_resolved_alternatives =
                                                     ref ([]);
                                                     id_type = ref (None);
                                                     id_svalue =
                                                     ref (Unknown);
                                                     id_flags = ref (0);
                                                     id_info_id = _ }
                                                   )));
                                             t_attrs = [] }
                                           ));
                                        t_attrs =
                                        [(KeywordAttr (Mutable, _))] }));
                           id_svalue = ref (Unknown); id_flags = ref (0);
                           id_info_id = _ }
                         )),
                      { t =
                        (TyRef (_,
                           { t =
                             (TyN
                                (Id (("F", _),
                                   { id_resolved = ref (None);
                                     id_resolved_alternatives = ref ([]);
                                     id_type = ref (None);
                                     id_svalue = ref (Unknown);
                                     id_flags = ref (0); id_info_id = _ }
                                   )));
                             t_attrs = [] }
                           ));
                        t_attrs = [(KeywordAttr (Mutable, _))] }
                      )))
                ],
              _);
             frettype =
             (Some { t =
                     (TyN
                        (Id (("bool", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (ExprStmt (
                            { e =
                              (StmtExpr
                                 { s =
                                   (Return (_,
                                      (Some { e = (L (Bool (false, _)));
                                              e_id = 0; e_range = None;
                                              is_implicit_return = false;
                                              facts = <opaque> }),
                                      _));
                                   s_range = None });
                              e_id = 0; e_range = None;
                              is_implicit_return = false; facts = <opaque> },
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(OtherTypeParam (("LifeTime", _), [(I ("a", _))]));
                   (TP
                      { tp_id = ("T", _); tp_attrs = [];
                        tp_bounds =
                        [{ t =
                           (TyN
                              (Id (("a", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 )));
                           t_attrs = [] };
                          { t =
                            (TyN
                               (Id (("Item", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ];
                        tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("Iter", _),
                          (Some (_,
                                 [(TA
                                     { t =
                                       (TyN
                                          (Id (("a", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] });
                                   (TA
                                      { t =
                                        (TyN
                                           (Id (("T", _),
                                              { id_resolved = ref (None);
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue = ref (Unknown);
                                                id_flags = ref (0);
                                                id_info_id = _ }
                                              )));
                                        t_attrs = [] })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("B", _),
                          (Some (_,
                                 [(TA
                                     { t =
                                       (TyN
                                          (Id (("T", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(OtherTypeParam (("LifeTime", _), [(I ("a", _))]));
                   (TP
                      { tp_id = ("E", _); tp_attrs = []; tp_bounds = [];
                        tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (Id (("Read", _),
                       { id_resolved = ref (None);
                         id_resolved_alternatives = ref ([]);
                         id_type = ref (None); id_svalue = ref (Unknown);
                         id_flags = ref (0); id_info_id = _ }
                       )));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("B", _),
                          (Some (_,
                                 [(TA
                                     { t =
                                       (TyN
                                          (Id (("T", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("B", _),
                          (Some (_,
                                 [(TA
                                     { t =
                                       (TyN
                                          (Id (("T", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("A", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Trait, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _); cbody = (_, [], _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("A", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("impl", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("A", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (OtherDef (("Impl", _),
           [(T
               { t =
                 (TyN
                    (IdQualified
                       { name_last =
                         (("B", _),
                          (Some (_,
                                 [(TA
                                     { t =
                                       (TyN
                                          (Id (("A", _),
                                             { id_resolved = ref (None);
                                               id_resolved_alternatives =
                                               ref ([]);
                                               id_type = ref (None);
                                               id_svalue = ref (Unknown);
                                               id_flags = ref (0);
                                               id_info_id = _ }
                                             )));
                                       t_attrs = [] })
                                   ],
                                 _)));
                         name_middle = None; name_top = None;
                         name_info =
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         }));
                 t_attrs = [] });
             (Ss [])]
           ))));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("napi_module_register", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(ParamPattern
                  (PatTyped (
                     (PatId (("mod_", _),
                        { id_resolved = ref ((Some (LocalVar, _)));
                          id_resolved_alternatives = ref ([]);
                          id_type =
                          ref ((Some { t =
                                       (TyPointer (_,
                                          { t =
                                            (TyN
                                               (Id (("napi_module", _),
                                                  { id_resolved = ref (None);
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] }
                                          ));
                                       t_attrs = [] }));
                          id_svalue = ref (Unknown); id_flags = ref (0);
                          id_info_id = _ }
                        )),
                     { t =
                       (TyPointer (_,
                          { t =
                            (TyN
                               (Id (("napi_module", _),
                                  { id_resolved = ref (None);
                                    id_resolved_alternatives = ref ([]);
                                    id_type = ref (None);
                                    id_svalue = ref (Unknown);
                                    id_flags = ref (0); id_info_id = _ }
                                  )));
                            t_attrs = [] }
                          ));
                       t_attrs = [] }
                     )))
                ],
              _);
             frettype = None; fbody = (FBDecl _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("TYPE_INFO_VTABLE", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyPointer (_,
                                  { t =
                                    (TyN
                                       (Id (("u8", _),
                                          { id_resolved = ref (None);
                                            id_resolved_alternatives =
                                            ref ([]); id_type = ref (None);
                                            id_svalue = ref (Unknown);
                                            id_flags = ref (0);
                                            id_info_id = _ }
                                          )));
                                    t_attrs = [] }
                                  ));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Static, _))]; tparams = None },
        (VarDef
           { vinit = None;
             vtype =
             (Some { t =
                     (TyPointer (_,
                        { t =
                          (TyN
                             (Id (("u8", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          t_attrs = [] }
                        ));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ModuleDef { mbody = (ModuleStruct ((Some [("foo", _)]), [])) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EDynamic
                             { e = (L (Int ((Some 0L), _))); e_id = 0;
                               e_range = None; is_implicit_return = false;
                               facts = <opaque> });
                          attrs = []; tparams = None },
                        (FieldDefColon
                           { vinit = None;
                             vtype =
                             (Some { t =
                                     (TyN
                                        (Id (("Bar", _),
                                           { id_resolved = ref (None);
                                             id_resolved_alternatives =
                                             ref ([]); id_type = ref (None);
                                             id_svalue = ref (Unknown);
                                             id_flags = ref (0);
                                             id_info_id = _ }
                                           )));
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("foo", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody = (FBStmt { s = (Block (_, [], _)); s_range = None }) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("X", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyN
                                  (Id (("u32", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (4);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Const, _))]; tparams = None },
        (VarDef
           { vinit =
             (Some { e = (L (Int ((Some 0L), _))); e_id = 0; e_range = None;
                     is_implicit_return = false; facts = <opaque> });
             vtype =
             (Some { t =
                     (TyN
                        (Id (("u32", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None }
  ]