Encodings for U+8038C