MPI_Pack_external_size(3) on Linux

The text ff433b602b3d, as Debian 9 (Stretch) shipped it.

Returns the upper bound on the amount of space needed to pack a message using MPI_Pack_external.