NAG Library Manual, Mark 25