x"abcé" // #error: This isn't a valid hexadecimal digit