last_was_mark_    407 third_party/re2/re2/dfa.cc     if (last_was_mark_)
last_was_mark_    409 third_party/re2/re2/dfa.cc     last_was_mark_ = false;
last_was_mark_    424 third_party/re2/re2/dfa.cc     last_was_mark_ = false;
last_was_mark_    432 third_party/re2/re2/dfa.cc   bool last_was_mark_;   // last inserted was mark