[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("pointer_aligned", _),
               { id_resolved = ref ((Some (Global, _)));
                 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 =
         [(OtherAttribute (("AlignAs", _),
             [(Tk _);
               (Ar
                  (ArgType
                     { t =
                       (TyPointer (_,
                          { 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 = [] }
                          ));
                       t_attrs = [] }));
               (Tk _)]
             ))
           ];
         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 };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Aligned", _),
                { 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 (("expression_aligned", _),
                { id_resolved = ref ((Some (Global, _)));
                  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 =
          [(OtherAttribute (("AlignAs", _),
              [(Tk _);
                (Ar
                   (Arg
                      { e = (L (Int ((Some 32L), _))); e_id = 0;
                        e_range = None; is_implicit_return = false;
                        facts = <opaque> }));
                (Tk _)]
              ))
            ];
          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 }
  ]