let find_index p ra i =
    if i < 0 then invalid_arg "find_index"
    else find_index_aux p ra i