Re-imported vanilla version of herlihy skiplist to check if it works with ints