Converts a char32_t to a UTF-8 encoded byte sequence.
char32_t
List<int> c32rtomb(char32_t c32) { String str = String.fromCharCode(c32); return utf8.encode(str); }