Saxon SQL extension instructions