Updating: improving libats/linmap_skiplist.