Re: [mpiwg-rma] pirate RMA revisited