[{ s =
   (OtherStmt (OS_Asm,
      [(Tk _);
        (E
           { e = (L (String (_, ("leal (%0,%0,4),%0", _), _))); e_id = 0;
             e_range = None; is_implicit_return = false; facts = <opaque> });
        (I ("=r", _));
        (E
           { e =
             (N
                (Id (("n", _),
                   { 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> });
        (I ("0", _));
        (E
           { e =
             (N
                (Id (("n", _),
                   { 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> });
        (Tk _)]
      ));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { 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
                        (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 =
                         (OtherStmt (OS_Asm,
                            [(Tk _);
                              (E
                                 { e =
                                   (L
                                      (String
                                         (_, ("leal (%0,%0,4),%0", _), _)));
                                   e_id = 0; e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> });
                              (I ("=r", _));
                              (E
                                 { e =
                                   (N
                                      (Id (("n", _),
                                         { 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> });
                              (I ("0", _));
                              (E
                                 { e =
                                   (N
                                      (Id (("n", _),
                                         { 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> });
                              (Tk _)]
                            ));
                         s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None }
  ]