Symbol: utf8str_t