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