Update HashAndSkiplist.h