ClickHouse/dbms/tests/queries/0_stateless/00761_lower_utf8_bug.sql

SELECT lowerUTF8('\xF0') = lowerUTF8('\xF0');