nfa.states[i] = new NFAStateInfo[edges];
for (int j = 0; j < elems; j += 3) {
int act = (int)smart_numify(edgeInfo.at_pos_boxed(tc, j), tc);
int to = (int)smart_numify(edgeInfo.at_pos_boxed(tc, j + 2), tc);
nfa.states[i][curEdge] = new NFAStateInfo();
nfa.states[i][curEdge].act = act;
nfa.states[i][curEdge].to = to;
switch (act) {
case NFA.EDGE_FATE: