Unfortunately I can only upvote you once. :-) Yes, yes and yes. (And no for the general memory pool idea.)
> My preferred option is to replace the whole file with something that works Yes. > However, the need for allocation from a sized memory pool is frequent enough > that I think that there should exist a `sys/mempool` library I think it's too early for that. We can always add it later and the initial channel implementation can start without such an optimization too.
