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