(: Name: fn-iri-to-uri-2 :)
(: Description: Examines that the fn:iri-to-uri function does not escape numbers.:)

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

fn:iri-to-uri("example0123456789")