Convert a UCS-4 string to a UTF-8 string.
UCS-4 strings are 32-bits per character: \c wchar_t on Unix.