Faster allocator and benchmark