case_insensitive_string_set
