static DFA4() { int numStates = DFA4_transitionS.Length; DFA4_transition = new short[numStates][]; for (int i=0; i < numStates; i++) { DFA4_transition[i] = DFA.UnpackEncodedString(DFA4_transitionS[i]); } }