<div>On Wed, 11 May 2022 at 7:08 PM Luciano Notarfrancesco <<a href="mailto:luchiano@gmail.com">luchiano@gmail.com</a>> wrote:<br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div><div dir="auto">Now this works:</div><div dir="auto">  (StringUtf8 fromUtf32: (16r1D538 to: 16r1D56B)) edit</div></div></blockquote><div dir="auto"><br></div><div dir="auto">I missed asText:</div><div dir="auto"><span style="border-color:rgb(0,0,0);color:rgb(0,0,0)"> (StringUtf8 fromUtf32: (16r1D538 to: 16r1D56B)) asText edit</span></div></div></div>