protected void index(Declaration decl, PrincipalStylesheetModule top) throws XPathException { top.indexFunction(decl); }