More pool allocator code!