On 2018-02-23 11:56 AM, Pedro Alves wrote: > On 02/22/2018 09:41 PM, Simon Marchi wrote: >> Hi Pedro, >> >> They are all very good questions, I should have given that info in the first >> place, but here it is. > > Thanks Simon. Great analysis. I have no further questions. Ship it! > > Thanks, > Pedro Alves > Thanks, pushed! Simon