Re: [mpich-devel] porting MPICH to CHERI - dumb questions