0x80..0xFF = U+0D00..U+0D7F
