a pool allocator (!)