[mpich-devel] Proposed CH4 device API -- MPID_Pre_init