pub const MPI_MAX_BITS: c_int = 8192;