next_search_state
state = next_search_state(inserted_state, end);
state = next_search_state(inserted_state, end);
next = next_search_state(state, end);
next = next_search_state(state, end);
state = next_search_state(state, end);