On 5/22/26 14:39, Zhu Zihao wrote:
> I suspect this is a typo, it should be "without the extra allocations
> entailed by take" because 'take' does required to return freshly
> allocated pairs.

That is correct, I will fix that for the next draft.

-- Peter McGoron