MARK_DIFF_ENCODE_VERIFIED
!(BASE_TABLE(dfa)[j] & MARK_DIFF_ENCODE_VERIFIED));
BASE_TABLE(dfa)[j] |= MARK_DIFF_ENCODE_VERIFIED;