(: This is a XQuery comment :)