let has_declaration = Hashtbl.mem gindex