let used_compinfo = Hashtbl.create 123