[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("sized_const", _),
               { id_resolved = ref ((Some (Global, _)));
                 id_resolved_alternatives = ref ([]);
                 id_type =
                 ref ((Some { t =
                              (OtherType (("TSized", _),
                                 [(T
                                     { t =
                                       (TyN
                                          (Id (("long", _),
                                             { 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
                                      { 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 = [(KeywordAttr (Const, _))] }));
                 id_svalue = ref (Unknown); id_flags = ref (0);
                 id_info_id = _ }
               )));
         attrs = []; tparams = None },
       (VarDef
          { vinit = None;
            vtype =
            (Some { t =
                    (OtherType (("TSized", _),
                       [(T
                           { t =
                             (TyN
                                (Id (("long", _),
                                   { 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
                            { 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 = [(KeywordAttr (Const, _))] });
            vtok = (Some _) })));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("param_attribute", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyFun (
                                  [(Param
                                      { pname = (Some ("value", _));
                                        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 =
                                        [(NamedAttr (_,
                                            (Id (("__attribute", _),
                                               { id_resolved = ref (None);
                                                 id_resolved_alternatives =
                                                 ref ([]);
                                                 id_type = ref (None);
                                                 id_svalue = ref (Unknown);
                                                 id_flags = ref (0);
                                                 id_info_id = _ }
                                               )),
                                            (_,
                                             [(Arg
                                                 { e =
                                                   (N
                                                      (Id (("unused", _),
                                                         { 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> })
                                               ],
                                             _)
                                            ))
                                          ];
                                        pinfo =
                                        { id_resolved = ref (None);
                                          id_resolved_alternatives = ref ([]);
                                          id_type = ref (None);
                                          id_svalue = ref (Unknown);
                                          id_flags = ref (0); id_info_id = _
                                          }
                                        })
                                    ],
                                  { 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 = [] }
                                  ));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (VarDef
           { vinit = None;
             vtype =
             (Some { t =
                     (TyFun (
                        [(Param
                            { pname = (Some ("value", _));
                              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 =
                              [(NamedAttr (_,
                                  (Id (("__attribute", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )),
                                  (_,
                                   [(Arg
                                       { e =
                                         (N
                                            (Id (("unused", _),
                                               { 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> })
                                     ],
                                   _)
                                  ))
                                ];
                              pinfo =
                              { id_resolved = ref (None);
                                id_resolved_alternatives = ref ([]);
                                id_type = ref (None);
                                id_svalue = ref (Unknown);
                                id_flags = ref (0); id_info_id = _ }
                              })
                          ],
                        { 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 = [] }
                        ));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("calling_convention", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs =
          [(NamedAttr (_,
              (Id (("__stdcall", _),
                 { id_resolved = ref (None);
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }
                 )),
              (_, [], _)))
            ];
          tparams = None },
        (FuncDef
           { fkind = (Function, _);
             fparams =
             (_,
              [(Param
                  { pname = (Some ("value", _));
                    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 (("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 = [] });
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (Return (_,
                            (Some { e =
                                    (N
                                       (Id (("value", _),
                                          { 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 })
             })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Callback", _),
                { 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 },
        (TypeDef
           { tbody =
             (AliasType
                { t =
                  (TyPointer (_,
                     { t =
                       (TyFun (
                          [(Param
                              { pname = None;
                                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 (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                })
                            ],
                          { 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 = [] }
                     ));
                  t_attrs =
                  [(NamedAttr (_,
                      (Id (("__stdcall", _),
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         )),
                      (_, [], _)))
                    ]
                  })
             })));
    s_range = None }
  ]