DeleteDFA        1850 third_party/re2/re2/dfa.cc   delete_dfa_ = DeleteDFA;
DeleteDFA        2127 third_party/re2/re2/dfa.cc       delete_dfa_ = DeleteDFA;