[Mpi-forum] Formal reading: ref-counted INIT/FINALIZE