(?: [\x00-\x7F]
|   [\xC0-\xDF][\x80-\xBF]
|   [\xE0-\xEF][\x80-\xBF]{2}
|   ...
)