kNumLitStates
if (state < kNumLitStates)
state = state < kNumLitStates ? 9 : 11;
state = state < kNumLitStates ? 8 : 11;
state = (state < kNumStates + kNumLitStates) ? kNumLitStates : kNumLitStates + 3;
if (state < kNumLitStates)