}
public Expression compile(Executable exec, Declaration decl) throws XPathException {
PrincipalStylesheetModule psm = getPrincipalStylesheetModule();
WithParam inst = new WithParam();
inst.adoptChildExpression(select);
inst.setParameterId(psm.allocateUniqueParameterNumber(getVariableQName()));
initializeInstruction(exec, decl, inst);
return inst;
}