skip-list in ada