write_to_file('>',      '_explicit_utf8', encode_utf8($string));
write_to_file('>:utf8', '_implicit_utf8', $string);