static DFA3() { int numStates = DFA3_transitionS.Length; DFA3_transition = new short[numStates][]; for (int i=0; i < numStates; i++) { DFA3_transition[i] = DFA.UnpackEncodedString(DFA3_transitionS[i]); } }