let
gindex =
Hashtbl
.create 731