let
gindex : (string,decl)
Hashtbl
.t =
Hashtbl
.create 731