Symbol: xdrgen_encode_utf8string