(: Name: namespaceDecl-5:)
(: Description: Evaluation of redefinition xmls prefix.:)

declare namespace xmlns = "http://example.com/examples";

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

"a"