<xqx:module xmlns:xqx="http://www.w3.org/2005/XQueryX">
    <xqx:mainModule>
        <xqx:prolog>
            <upd:revalidationDecl xmlns:upd="http://www.w3.org/2007/xquery-update-10">strict</upd:revalidationDecl>
            <upd:revalidationDecl xmlns:upd="http://www.w3.org/2007/xquery-update-10">strict</upd:revalidationDecl>
            <xqx:varDecl>
                <xqx:varName>input-context</xqx:varName>
                <xqx:external />
            </xqx:varDecl>
        </xqx:prolog>
        <xqx:queryBody>
            <xqx:integerConstantExpr>
                <xqx:value>12</xqx:value>
            </xqx:integerConstantExpr>
        </xqx:queryBody>
    </xqx:mainModule>
</xqx:module>