skip_list: implementation moved to header