Encodings for U+DEF38