[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("Ex", _),
               { 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 (("fld1", _),
                               { 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 =
                                    (TyExpr
                                       { e =
                                         (N
                                            (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 = _ }
                                               )));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> });
                                    t_attrs = [] });
                            vtok = None })));
                   s_range = None });
               (F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("fld2_dead_ok", _),
                                { 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 =
                                     (TyExpr
                                        { e =
                                          (N
                                             (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 = _ }
                                                )));
                                          e_id = 0; e_range = None;
                                          is_implicit_return = false;
                                          facts = <opaque> });
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None });
               (F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("fld3", _),
                                { 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 =
                             (Some { e = (L (Int ((Some 42L), _))); e_id = 0;
                                     e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> });
                             vtype =
                             (Some { t =
                                     (TyExpr
                                        { e =
                                          (N
                                             (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 = _ }
                                                )));
                                          e_id = 0; e_range = None;
                                          is_implicit_return = false;
                                          facts = <opaque> });
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None })
               ],
             _)
            })));
   s_range = None }
  ]