let index_of (_, i) = i