We can introduce a new type `MPIABI_Fint` which is always equal to a C
`int`. In the MPI ABI we only use this type.
But then we will need new MPIABI_XXX_{c2f|f2c} converters, right? And keep MPI_Fint (and current converters) for backward compatibility?