unsigned char *utf32to8 (unsigned char *utf32);
unsigned char *utf8to32 (unsigned char *utf8);