Make allocator configurable