No need for separate header file op_mpi_util.h