Symbol: read_utf8_string