Tools for MPI programmers