Changed allocator in SkipList