pub const DFA_STEP: u32 = 6;
DFA single-step: next_state = dfa_table[args[0] * 256 + args[1]].
next_state = dfa_table[args[0] * 256 + args[1]]