C++/SkipList: Optimize the SkipList_Int2_v2, which is now faster than std::map!!!