The demo with the index_leap