The iterative refinement solver example.
