Symbol: print_utf8_string