[NEST Users] Re: NEST pool allocator