Re: [mpich-devel] Request for comments: MPICH device-specific timers