Encodings for U+40000