standard I/O encoding UTF-8