let
used_enuminfo =
Hashtbl
.create 257