Symbol: xdrgen_decode_utf8string