It's 16383 in the standard, so we should use that here, even though we know they are the same. https://github.com/mpi-forum/mpi-abi-stubs/blob/81c85f5787bcc319a7e798b622283ab91e99bb7b/mpi.h#L267