Searched refs:index87_1 (Results 1 – 1 of 1) sorted by relevance
18318 int index87_1 = input.index(); in specialStateTransition() local18334 input.seek(index87_1); in specialStateTransition()