[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("EncodingClass", _),
               { id_resolved = ref (None);
                 id_resolved_alternatives = ref ([]); id_type = ref (None);
                 id_svalue = ref (Unknown); id_flags = ref (2);
                 id_info_id = _ }
               )));
         attrs = []; tparams = None },
       (ClassDef
          { ckind = (Class, _); cextends = []; cimplements = [];
            cmixins = []; cparams = (_, [], _);
            cbody =
            (_,
             [(F
                 { s =
                   (DefStmt
                      ({ name =
                         (EN
                            (Id (("route\195\128ction", _),
                               { id_resolved = ref (None);
                                 id_resolved_alternatives = ref ([]);
                                 id_type = ref (None);
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (2); id_info_id = _ }
                               )));
                         attrs =
                         [(KeywordAttr (Public, _));
                           (NamedAttr (_,
                              (Id (("Route", _),
                                 { id_resolved = ref (None);
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (2); id_info_id = _ }
                                 )),
                              (_, [], _)))
                           ];
                         tparams = None },
                       (FuncDef
                          { fkind = (Method, _); fparams = (_, [], _);
                            frettype = None;
                            fbody =
                            (FBStmt
                               { s = (Block (_, [], _)); s_range = None })
                            })));
                   s_range = None })
               ],
             _)
            })));
   s_range = None }
  ]