let used_enuminfo = Hashtbl.create 257