[{ 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 =
                             (Assign (
                                { e =
                                  (N
                                     (Id (("a", _),
                                        { id_resolved =
                                          ref ((Some (LocalVar, _)));
                                          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 =
                                  (Container (Tuple,
                                     (_,
                                      [{ e = (L (Int ((Some 1L), _)));
                                         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 = false; facts = <opaque> },
                           _));
                        s_range = None };
                       { s =
                         (Return (_,
                            (Some { e =
                                    (Container (Tuple,
                                       (_,
                                        [{ e = (L (Int ((Some 2L), _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> };
                                          { e =
                                            (Call (
                                               { e = (Special (Spread, _));
                                                 e_id = 0; e_range = None;
                                                 is_implicit_return = false;
                                                 facts = <opaque> },
                                               (_,
                                                [(Arg
                                                    { e =
                                                      (N
                                                         (Id (("a", _),
                                                            { id_resolved =
                                                              ref ((Some (
                                                              LocalVar, _)));
                                                              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 = false;
                                    facts = <opaque> }),
                            _));
                         s_range = None }
                       ],
                     _));
                 s_range = None })
            })));
   s_range = None };
  { s =
    (ExprStmt (
       { e =
         (Call (
            { e =
              (N
                 (Id (("print", _),
                    { 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 }
  ]