[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("array_reference", _),
               { 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 =
                 (TyRef (_,
                    { t =
                      (TyArray (
                         (_,
                          (Some { e = (L (Int ((Some 4L), _))); e_id = 0;
                                  e_range = None; is_implicit_return = false;
                                  facts = <opaque> }),
                          _),
                         { 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 = [] })
            })));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("function_reference", _),
                { 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 =
                  (OtherType (("&&", _),
                     [(T
                         { 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 (("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 = [] })
                       ]
                     ));
                  t_attrs = [] })
             })));
    s_range = None }
  ]