Conversion functions between UTF-8 and UTF-32
Unicode support for console