(: Name: optiondeclprolog-2 :)
(: Description: Evaluation of prolog option declaration for which namespace prefix is not defined..:)

declare option exq:java-class "math = java.lang.Math";

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

"aaa"