[{ s =
   (DirectiveStmt
      { d =
        (ImportAs (_, (DottedName [("aaa", _)]),
           (Some (("grumbler", _),
                  { id_resolved = ref ((Some ((ImportedModule ["aaa"]), _)));
                    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 =
    (ExprStmt (
       { e = (L (Unit _)); e_id = 0; e_range = None;
         is_implicit_return = false; facts = <opaque> },
       _));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("grr", _),
                { 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
                        (IdQualified
                           { name_last = (("string", _), None);
                             name_middle =
                             (Some (QDots [(("std", _), 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 =
                         (Return (_,
                            (Some { e = (L (String (_, ("yippie", _), _)));
                                    e_id = 0; e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> }),
                            _));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None };
  { s =
    (ExprStmt (
       { e = (L (Unit _)); e_id = 0; e_range = None;
         is_implicit_return = false; facts = <opaque> },
       _));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Empty", _),
                { 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 = (Block (_, [], _)); s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("value", _),
                                 { 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 },
                         (VarDef
                            { vinit = None;
                              vtype =
                              (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 = [] });
                              vtok = (Some _) })));
                     s_range = None });
                (F { s = (Block (_, [], _)); s_range = None })],
              _)
             })));
    s_range = None }
  ]