public TailCall processLeavingTail(XPathContext context) throws XPathException {
Controller controller = context.getController();
Emitter emitter = controller.getMessageEmitter();
if (emitter==null) {
emitter = controller.makeMessageEmitter();
}
if (emitter.getWriter()==null) {
emitter.setWriter(new OutputStreamWriter(System.err));
}