Searched refs:index31_4 (Results 1 – 1 of 1) sorted by relevance
16771 int index31_4 = input.index(); in specialStateTransition() local16779 input.seek(index31_4); in specialStateTransition()