defs2 http://www.w3.org/TestModules/defs2 defs1 http://www.w3.org/TestModules/defs1 modules-recursive1.xq var integer var