This code is in the public domain, except for mpi_stubs*, which are
GPL.
