char * mpiIdnNumberName(MPIIdnNumber number, char *buffer)
Given a pointer to a char buffer of length MPIIdnNUMBER_SIZE_MAX + 1, IdnNumberName fills the buffer with the text form of the IDN number.