static DFA8() { int numStates = DFA8_transitionS.Length; DFA8_transition = new short[numStates][]; for (int i=0; i < numStates; i++) { DFA8_transition[i] = DFA.UnpackEncodedString(DFA8_transitionS[i]); } }