Symbol: check_utf8_string_san