let get_range_index t ri = e_app2 get_range_index t (interval ri)