Update HashAndSkiplist.c