let used_enuminfo = Hashtbl.create 2