pub type Key = c_int;
A key used when determining the rank order of processes after a communicator split.