[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("captures", _),
               { 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 (("TPVariadic", _), [(I ("Args", _))]))],
                _))
         },
       (FuncDef
          { fkind = (Function, _);
            fparams =
            (_,
             [(ParamRest (_,
                 { pname = (Some ("args", _));
                   ptype =
                   (Some { t =
                           (TyN
                              (Id (("Args", _),
                                 { 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 = [] });
                   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 = _ }
                   }
                 ))
               ],
             _);
            frettype =
            (Some { t =
                    (TyN
                       (Id (("void", _),
                          { 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 =
                        (DefStmt
                           ({ name =
                              (EN
                                 (Id (("copied", _),
                                    { 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 =
                                         (Lambda
                                            { fkind = (Function, _);
                                              fparams = (_, [], _);
                                              frettype =
                                              (Some { t = (TyAny _);
                                                      t_attrs = [] });
                                              fbody =
                                              (FBStmt
                                                 { s =
                                                   (Block
                                                      (_,
                                                       [{ s =
                                                          (Return (_,
                                                             (Some { e =
                                                                    (L
                                                                    (Int
                                                                    ((Some 1L),
                                                                    _)));
                                                                    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> });
                                 vtype =
                                 (Some { t = (TyAny _); t_attrs = [] });
                                 vtok = (Some _) })));
                        s_range = None };
                       { s =
                         (DefStmt
                            ({ name =
                               (EN
                                  (Id (("forwarded", _),
                                     { 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 =
                                          (Lambda
                                             { fkind = (Function, _);
                                               fparams = (_, [], _);
                                               frettype =
                                               (Some { t = (TyAny _);
                                                       t_attrs = [] });
                                               fbody =
                                               (FBStmt
                                                  { s =
                                                    (Block
                                                       (_,
                                                        [{ s =
                                                           (Return (_,
                                                              (Some { e =
                                                                    (L
                                                                    (Int
                                                                    ((Some 2L),
                                                                    _)));
                                                                    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> });
                                  vtype =
                                  (Some { t = (TyAny _); t_attrs = [] });
                                  vtok = (Some _) })));
                         s_range = None };
                       { s =
                         (DefStmt
                            ({ name =
                               (EN
                                  (Id (("referenced", _),
                                     { 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 =
                                          (Lambda
                                             { fkind = (Function, _);
                                               fparams = (_, [], _);
                                               frettype =
                                               (Some { t = (TyAny _);
                                                       t_attrs = [] });
                                               fbody =
                                               (FBStmt
                                                  { s =
                                                    (Block
                                                       (_,
                                                        [{ s =
                                                           (Return (_,
                                                              (Some { e =
                                                                    (L
                                                                    (Int
                                                                    ((Some 3L),
                                                                    _)));
                                                                    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> });
                                  vtype =
                                  (Some { t = (TyAny _); t_attrs = [] });
                                  vtok = (Some _) })));
                         s_range = None }
                       ],
                     _));
                 s_range = None })
            })));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Member", _),
                { 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 (("captures", _),
                                { 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 ("arg", _));
                                    ptype =
                                    (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 = [] });
                                    pdefault = None; pattrs = [];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      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 = _ }
                                    })
                                ],
                              _);
                             frettype =
                             (Some { t =
                                     (TyN
                                        (Id (("void", _),
                                           { 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 =
                                         (DefStmt
                                            ({ name =
                                               (EN
                                                  (Id (("copied", _),
                                                     { 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 =
                                                          (Lambda
                                                             { fkind =
                                                               (Function, _);
                                                               fparams =
                                                               (_, [], _);
                                                               frettype =
                                                               (Some 
                                                               { t =
                                                                 (TyAny _);
                                                                 t_attrs = []
                                                                 });
                                                               fbody =
                                                               (FBStmt
                                                                  { s =
                                                                    (
                                                                    Block
                                                                    (_,
                                                                    [{ s =
                                                                    (Return (
                                                                    _,
                                                                    (Some 
                                                                    { e =
                                                                    (N
                                                                    (Id (
                                                                    ("arg", _),
                                                                    { id_resolved =
                                                                    ref ((Some (
                                                                    Parameter,
                                                                    _)));
                                                                    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 =
                                                                    _ })));
                                                                    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> });
                                                  vtype =
                                                  (Some { t = (TyAny _);
                                                          t_attrs = [] });
                                                  vtok = (Some _) })));
                                         s_range = None };
                                        { s =
                                          (DefStmt
                                             ({ name =
                                                (EN
                                                   (Id (("referenced", _),
                                                      { 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 =
                                                           (Lambda
                                                              { fkind =
                                                                (Function, _);
                                                                fparams =
                                                                (_, [], _);
                                                                frettype =
                                                                (Some 
                                                                { t =
                                                                  (TyAny _);
                                                                  t_attrs =
                                                                  [] });
                                                                fbody =
                                                                (FBStmt
                                                                   { s =
                                                                    (Block
                                                                    (_,
                                                                    [{ s =
                                                                    (Return (
                                                                    _,
                                                                    (Some 
                                                                    { e =
                                                                    (N
                                                                    (Id (
                                                                    ("arg", _),
                                                                    { id_resolved =
                                                                    ref ((Some (
                                                                    Parameter,
                                                                    _)));
                                                                    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 =
                                                                    _ })));
                                                                    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> });
                                                   vtype =
                                                   (Some { t = (TyAny _);
                                                           t_attrs = [] });
                                                   vtok = (Some _) })));
                                          s_range = None }
                                        ],
                                      _));
                                  s_range = None })
                             })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None }
  ]