(:*******************************************************:)
(:Test:fn-iri-to-uri1args-2:)
(:Written By:Joanne Tong:)
(:Date:2005-09-29T15:09:57+01:00:)
(:Purpose:Test iri-to-uri from example defined in functions and operators specification:)
(:*******************************************************:)

iri-to-uri("http://www.example.com/~bébé")