0x80..0xFF = U+0D80..U+0DFF
