Re: [Mpi-22] [MPI Forum] #102: MPI_TYPE_GET_EXTENT is defined via deprecated features