/mpi-config.lsh/1.3/Mon May  9 01:21:57 2005//
/mpi.hlp/1.1/Wed Jun 25 19:26:43 2003//
/mpi.lsh/1.4/Thu Jun 26 16:20:13 2003//
D
