MPS_INTTYPE_INT
mpi->type = MPS_INTTYPE_INT;
mpi->type = MPS_INTTYPE_INT;
if (entry->int_type != MPS_INTTYPE_INT) {
if (entry->int_type != MPS_INTTYPE_INT) {
if (entry->int_type != MPS_INTTYPE_INT) {
case MPS_INTTYPE_INT:
mpi.int_type = MPS_INTTYPE_INT;