let compare_list = Hstring.compare_list