[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("range_for_initializer", _),
               { 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 (("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 = [] });
            fbody =
            (FBStmt
               { s =
                 (Block
                    (_,
                     [{ s =
                        (For (_,
                           (ForEach
                              ((PatTyped (
                                  (PatId (("value", _),
                                     { id_resolved =
                                       ref ((Some (LocalVar, _)));
                                       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 = _ }
                                     )),
                                  { 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 = [] }
                                  )),
                               _,
                               { e =
                                 (Container (Array,
                                    (_,
                                     [{ e = (L (Int ((Some 1L), _)));
                                        e_id = 0; e_range = None;
                                        is_implicit_return = false;
                                        facts = <opaque> }
                                       ],
                                     _)
                                    ));
                                 e_id = 0; e_range = None;
                                 is_implicit_return = false; facts = <opaque>
                                 })),
                           { s =
                             (Block
                                (_,
                                 [{ s =
                                    (ExprStmt (
                                       { e =
                                         (Cast (
                                            { 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 = [] },
                                            _,
                                            { e =
                                              (N
                                                 (Id (("value", _),
                                                    { id_resolved =
                                                      ref ((Some (LocalVar, _)));
                                                      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> }
                                            ));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> },
                                       _));
                                    s_range = None }
                                   ],
                                 _));
                             s_range = None }
                           ));
                        s_range = None }
                       ],
                     _));
                 s_range = None })
            })));
   s_range = None }
  ]