MAX_EXTERN_MPI_BITS   49 lib/mpi/mpicoder.c 	if (nbits > MAX_EXTERN_MPI_BITS) {
MAX_EXTERN_MPI_BITS   91 lib/mpi/mpicoder.c 	if (nbits > MAX_EXTERN_MPI_BITS) {
MAX_EXTERN_MPI_BITS  370 lib/mpi/mpicoder.c 	if (nbits > MAX_EXTERN_MPI_BITS) {