Symbol: is_valid_utf8_string