MARK_DIFF_ENCODE
if (BASE_TABLE(dfa)[j] & MARK_DIFF_ENCODE)
BASE_TABLE(dfa)[j] |= MARK_DIFF_ENCODE;
BASE_TABLE(dfa)[j] &= ~MARK_DIFF_ENCODE;